Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Negation as Partial Failure., , and . LPNMR, page 244-262. MIT Press, (1993)Abstract Algebraic Logic.. AMAST, volume 1548 of Lecture Notes in Computer Science, page 8-16. Springer, (1998)Equality-Test and If-Then-Else Algebras: Axiomatization and Specification.. SIAM J. Comput., 20 (4): 766-805 (1991)Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus., and . Fundam. Informaticae, 32 (1): 47-90 (1997)A Survey of Abstract Algebraic Logic., , and . Stud Logica, 74 (1-2): 13-97 (2003)Introduction., and . Stud Logica, 50 (3-4): 365-374 (1991)In Memory of Willem Johannes Blok 1947-2003., , , and . Stud Logica, 83 (1-3): 5-14 (2006)On the Closure Properties of the Class of Full G-models of a Deductive System., , and . Stud Logica, 83 (1-3): 215-278 (2006)Data Types over Multiple-Values Logics.. Theor. Comput. Sci., 77 (1&2): 161-194 (1990)Multi-Valued Logic Programming Semantics: An Algebraic Approach., , and . Theor. Comput. Sci., 171 (1-2): 77-109 (1997)