Artikel

Beckert, Bernhard ; Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1998)
Simplification of Many-Valued Logic Formulas Using Anti-Links.
In: Journal of Logic and Computation, 8 (4)
Artikel, Bibliographie

Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Deduction in Many-Valued Logics: a Survey.
In: Mathware & Soft Computing, 4 (2)
Artikel, Bibliographie

Konferenzveröffentlichung

Hrsg.: Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Special Issue on Deduction in Many-Valued Logic.
Konferenzveröffentlichung, Bibliographie

Report

Beckert, Bernhard ; Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997)
Simplification of Many-Valued Logic Formulas Using Anti-Links.
Report, Bibliographie