Automata, Languages and Programming
From MaRDI portal
Publication:5716799
DOI10.1007/11523468zbMath1084.68028OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716799
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11523468
Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05)
Related Items
Automata for XML -- a survey ⋮ Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics ⋮ Regular families of forests, antichains and duality pairs of relational structures ⋮ Reasoning about XML with temporal logics and automata
This page was built for publication: Automata, Languages and Programming