Developments in Language Theory

From MaRDI portal

Revision as of 04:44, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

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

Publication:5711946

Jump to:navigation, search

DOI10.1007/b103739zbMath1117.68397OpenAlexW2496880349WikidataQ57001653 ScholiaQ57001653MaRDI QIDQ5711946

Bruno Courcelle

Publication date: 22 December 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b103739

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Automata and formal grammars in connection with logical questions (03D05)

Related Items (5)

Automata for XML -- a survey ⋮ A structural/temporal query language for business processes ⋮ Verification of graph grammars using a logical approach ⋮ Formal Verification of Graph Grammars using Mathematical Induction ⋮ The recognizability of sets of graphs is a robust property

This page was built for publication: Developments in Language Theory

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