scientific article; zbMATH DE number 1086493

From MaRDI portal

Revision as of 23:23, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4362731

Jump to:navigation, search

zbMath0888.03025MaRDI QIDQ4362731

Roderick Bloem, Joost Engelfriet

Publication date: 13 November 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monadic second-order logic graph-walking automaton

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05)

Related Items (7)

Verification of agent navigation in partially-known environments ⋮ XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles ⋮ GETGRATS ⋮ Attribute grammars for unranked trees as a query language for structured documents ⋮ Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity ⋮ A comparison of tree transductions defined by monadic second order logic and by attribute grammars ⋮ An operational and denotational approach to non-context-freeness

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4362731&oldid=18350834"