Skip to main content

Generalising Automaticity to Modal Properties of Finite Structures

A. Dawar and S. Kreutzer

Book Title
Proc. 22nd Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
Pages
109–120
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2556
Year
2002