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]

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

Identifier