Content
Bounded Fixed-Point Definability and Tabular Recognition of Languages
CIS-Bericht-96-89 Published in: Proceedings Computer Science Logic, CSL'95, Springer LNCS 1092.
| Authors/Editors: |
Hans Leiß |
|---|---|
| Publication Date: | 1996 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |
Related Links