Generalising automaticity to modal properties of finite structures

Dawar, Anuj; Kreutzer, Stephan

Berlin [u.a.] : Springer (2002)
Contribution to a book, Contribution to a conference proceedings

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