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: 2.

Hähnle, Reiner and Klingenbeck, Stefan (1996):
A-Ordered Tableaux.
In: J. Log. Comput., pp. 819-833, 6, (6), DOI: 10.1093/logcom/6.6.819,
[Online-Edition: https://doi.org/10.1093/logcom/6.6.819],

Klingenbeck, Stefan and Hähnle, Reiner
Bundy, Alan (ed.) (1994):
Semantic Tableaux with Ordering Restrictions.
In: Proc. 12th Conference on Automated Deduction {CADE}, Nancy/France, Springer-Verlag, In: LNCS, 814, [Conference or Workshop Item]

This list was generated on Tue Jun 25 00:57:06 2019 CEST.