DMCA

Fixpoint logics on hierarchical structures (2005)

by Stefan Göller , Markus Lohrey
Venue:Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005), Hyderabad (Indien), number 3821 in Lecture Notes in Computer Science
Citations:6 - 1 self