Loader and Urzyczyn Are Logically Related

Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt. Loader and Urzyczyn Are Logically Related. In Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, Roger Wattenhofer, editors, Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Volume 7392 of Lecture Notes in Computer Science, pages 364-376, Springer, 2012. [doi]

Authors

Sylvain Salvati

This author has not been identified. Look up 'Sylvain Salvati' in Google

Giulio Manzonetto

This author has not been identified. Look up 'Giulio Manzonetto' in Google

Mai Gehrke

This author has not been identified. Look up 'Mai Gehrke' in Google

Henk Barendregt

This author has not been identified. Look up 'Henk Barendregt' in Google