Automata, Languages and Programming

DOI10.1007/11523468zbMath1084.68028OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716799

Leonid O. Libkin

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

zbMATH Keywords

survey

Mathematics Subject Classification ID

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 (4)

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