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]


Abstract is missing.