@inproceedings{DBLP:conf/aluacs/Nelson88,
author = {G. C. Nelson},
title = {Other logics for (equational) theories},
booktitle = {Algebraic Logic and Universal Algebra in Computer Science},
year = {1988},
pages = {181-194},
ee = {http://dx.doi.org/10.1007/BFb0043084},
crossref = {DBLP:conf/aluacs/1988},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aluacs/1988,
editor = {Clifford Bergman and
Roger D. Maddux and
Don Pigozzi},
title = {Algebraic Logic and Universal Algebra in Computer Science,
Conference, Ames, Iowa, USA, June 1-4, 1988, Proceedings},
booktitle = {Algebraic Logic and Universal Algebra in Computer Science},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {425},
year = {1990},
isbn = {3-540-97288-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
