scientific article; zbMATH DE number 522865
From MaRDI portal
Publication:4284261
zbMath0794.68088MaRDI QIDQ4284261
Wolfgang Thomas, Andreas Potthoff
Publication date: 24 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
Modulo-counting quantifiers over finite trees ⋮ Towards a language theory for infinite N-free pomsets. ⋮ Monadic second-order definable text languages ⋮ The monadic second-order logic of graphs. X: Linear orderings ⋮ First-order logic on finite trees ⋮ MSO definable text languages ⋮ Generalizing input-driven languages: theoretical and practical benefits ⋮ Operator precedence temporal logic and model checking ⋮ The definition in monadic second-order logic of modular decompositions of ordered graphs ⋮ Multiple context-free tree grammars: lexicalization and characterization ⋮ Automata on finite trees ⋮ Algebra for trees
This page was built for publication:
