Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


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.

Publication Date: 1996
Type of Publication: Veröffentlichungen in der Reihe CIS-Berichte
Related Links