Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras
Ali Sheikholeslami; P. Glenn Gulak (Hrsg). Proceedings of the 34th International Symposium on Multiple-Valued Logic ISMVL 2004; May 19 – 22, 2004; University of Toronto, Toronto, Canada. Los Alamitos, CA: IEEE Computer Society 2004 S. 32 - 37
Erscheinungsjahr: 2004
ISBN/ISSN: 0-7695-2130-4
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/ISMVL.2004.1319916
| Geprüft | Bibliothek |
