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 and Hähnle, Reiner and Escalada-Imaz, Gonzalo (1998):
Simplification of Many-Valued Logic Formulas Using Anti-Links.
In: Journal of Logic and Computation, pp. 569--588, 8, (4), [Article]

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

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

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

This list was generated on Tue Jun 18 00:29:06 2019 CEST.