Arity and Alternation: A Proper Hierarchy in Higher Order Logics

Flavio Antonio Ferrarotti, Jose Maria Turull Torres. Arity and Alternation: A Proper Hierarchy in Higher Order Logics. In Jürgen Dix, Stephen J. Hegner, editors, Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings. Volume 3861 of Lecture Notes in Computer Science, pages 92-115, Springer, 2006. [doi]

Abstract

Abstract is missing.