%0 Conference Paper %1 conf/cade/Salzer96 %A Salzer, Gernot %B CADE %D 1996 %E McRobbie, Michael A. %E Slaney, John K. %I Springer %K dblp %P 688-702 %T Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices. %U http://dblp.uni-trier.de/db/conf/cade/cade96.html#Salzer96 %V 1104 %@ 3-540-61511-3

@inproceedings{conf/cade/Salzer96, added-at = {2024-02-05T00:00:00.000+0100}, author = {Salzer, Gernot}, biburl = {https://www.bibsonomy.org/bibtex/25d53a45883ebc8876ed9d389a4620e28/dblp}, booktitle = {CADE}, crossref = {conf/cade/1996}, editor = {McRobbie, Michael A. and Slaney, John K.}, ee = {https://doi.org/10.1007/3-540-61511-3_122}, interhash = {5b53e98e67bc61ae32f55cb280b52d61}, intrahash = {5d53a45883ebc8876ed9d389a4620e28}, isbn = {3-540-61511-3}, keywords = {dblp}, pages = {688-702}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:18:07.000+0200}, title = {Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade96.html#Salzer96}, volume = 1104, year = 1996 }