External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Flavio Antonio Ferrarotti

This author has not been identified. Look up 'Flavio Antonio Ferrarotti' in Google

Jose Maria Turull Torres

This author has not been identified. Look up 'Jose Maria Turull Torres' in Google
runs on