Generalising automaticity to modal properties of finite structures

Dawar, Anuj; Kreutzer, Stephan

Berlin [u.a.] : Springer (2002)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Foundations of Software Technology and Theoretical Computer Science : 22th conference ; proceedings / FST TCS 2002, Kanpur, India, December 12 - 14, 2002 . Manindra Agrawal ... (ed.)
Seite(n)/Artikel-Nr.: 109-120