Automata, Languages and Programming
From MaRDI portal
Publication:5716799
DOI10.1007/11523468zbMath1084.68028WikidataQ56656999 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
03B70: Logic in computer science
03D05: Automata and formal grammars in connection with logical questions
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68P05: Data structures
Related Items
Regular families of forests, antichains and duality pairs of relational structures, Automata for XML -- a survey, Reasoning about XML with temporal logics and automata, Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics