TU Darmstadt / ULB / TUbiblio

A-Ordered Tableaux

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]

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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details