Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


Content

Logic Finite Automata and Constraint Logic Finite Automata

CIS-Bericht-91-45

Authors/Editors: Dov M. Gabbay
Klaus U. Schulz
Publication Date: 1991
Type of Publication: Veröffentlichungen in der Reihe CIS-Berichte