Generalising automaticity to modal properties of finite structures

Berlin [u.a.] / Springer (2002) [Beitrag zu einem Tagungsband]

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): 109-120

Autorinnen und Autoren

Autorinnen und Autoren

Dawar, Anuj
Kreutzer, Stephan

Identifikationsnummern