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 ; Klingenbeck, Stefan (1996):
A-Ordered Tableaux.
In: J. Log. Comput., 6 (6), pp. 819-833. DOI: 10.1093/logcom/6.6.819,

Klingenbeck, Stefan ; 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 29 01:57:25 2022 CET.