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 |