Generalising Automaticity to Modal Properties of Finite Structures
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Inflationary Fixed Points in Modal Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Bisimulation and language equivalence
Logic for concurrency and synchronisation
Inflationary fixed points in modal logic
ACM Transactions on Computational Logic (TOCL)
Generalising automaticity to modal properties of finite structures
Theoretical Computer Science
The Descriptive Complexity of Parity Games
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Fixed-point definability and polynomial time
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Fixed-point definability and polynomial time on chordal graphs and line graphs
Fields of logic and computation
Hi-index | 5.23 |