|
|
Generalising Automaticity to Modal Properties of Finite Structures
A. Dawar and S. Kreutzer infobook 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 |
links
BibTeX
related pages
|
|
|
|
