Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems

Mingji Xia. Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis, editors, Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I. Volume 6198 of Lecture Notes in Computer Science, pages 666-677, Springer, 2010. [doi]

Authors

Mingji Xia

This author has not been identified. Look up 'Mingji Xia' in Google