The Polyranking Principle

Aaron R. Bradley, Zohar Manna, Henny B. Sipma. The Polyranking Principle. In Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung, editors, Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Volume 3580 of Lecture Notes in Computer Science, pages 1349-1361, Springer, 2005. [doi]

Abstract

Abstract is missing.