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.
6, In: J. Log. Comput., (6), pp. 819-833. DOI: 10.1093/logcom/6.6.819,
[Article]

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

This list was generated on Tue Nov 24 00:30:12 2020 CET.