TU Darmstadt / ULB / TUbiblio

A-Ordered Tableaux

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],
[Article]

Item Type: Article
Erschienen: 1996
Creators: Hähnle, Reiner and Klingenbeck, Stefan
Title: A-Ordered Tableaux
Language: German
Journal or Publication Title: J. Log. Comput.
Volume: 6
Number: 6
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 11:01
DOI: 10.1093/logcom/6.6.819
Official URL: https://doi.org/10.1093/logcom/6.6.819
Export:

Optionen (nur für Redakteure)

View Item View Item