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
Jump to: German
Number of items: 4.

German

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

Hähnle, Reiner and Escalada-Imaz, Gonzalo (1997):
Deduction in Many-Valued Logics: a Survey.
In: Mathware & Soft Computing, 4 (2), pp. 69-97. [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 Jan 19 01:11:12 2021 CET.