TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 4.

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), pp. 569--588. [Article]

Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997):
Deduction in Many-Valued Logics: a Survey.
In: Mathware & Soft Computing, 4 (2), pp. 69-97. [Article]

Beckert, Bernhard ; Hähnle, Reiner ; Escalada-Imaz, Gonzalo (1997):
Simplification of Many-Valued Logic Formulas Using Anti-Links.
(11/97), [Report]

Hähnle, Reiner ; Escalada-Imaz, Gonzalo (eds.) (1997):
Special Issue on Deduction in Many-Valued Logic.
IV, [Conference or Workshop Item]

This list was generated on Sat Sep 24 00:36:09 2022 CEST.