Implementation and Application of Automata

DOI10.1007/B105090zbMath1115.68415DBLPconf/wia/2004OpenAlexW4302765085WikidataQ56387363 ScholiaQ56387363MaRDI QIDQ5463988

Anssi Yli-Jyrä

Publication date: 17 August 2005

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items (1)

A finite state intersection approach to propositional satisfiability

This page was built for publication: Implementation and Application of Automata