Content
Bounded Fixed-Point Definability and Tabular Recognition of Languages
Proceedings CSL'95, Springer LNCS 1092
Authors/Editors: |
Hans Leiß |
---|---|
Publication Date: | 1995 |
Type of Publication: | Konferenzen/Journale |
Related Links