Generalising Automaticity to Modal Properties of Finite Structures
A. Dawar and S. Kreutzer
Details
| 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 |
Links
Related pages
|
People |