scientific article; zbMATH DE number 5794052
From MaRDI portal
Publication:4931900
zbMath1198.03006MaRDI QIDQ4931900
No author found.
Publication date: 1 October 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (6)
A logical approach to locality in pictures languages ⋮ Parameterized modal satisfiability ⋮ Uniformly Automatic Classes of Finite Structures ⋮ Unnamed Item ⋮ Automata on infinite trees ⋮ Algebra for trees
This page was built for publication: