Foundations for Circular Compositional Reasoning

Mahesh Viswanathan, Ramesh Viswanathan. Foundations for Circular Compositional Reasoning. In Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, editors, Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings. Volume 2076 of Lecture Notes in Computer Science, pages 835-847, Springer, 2001. [doi]

Authors

Mahesh Viswanathan

This author has not been identified. Look up 'Mahesh Viswanathan' in Google

Ramesh Viswanathan

This author has not been identified. Look up 'Ramesh Viswanathan' in Google