External Links

Cite Key

Statistics

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

PDF

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.

On the Mints Hierarchy in First-Order Intuitionistic Logic

Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski. On the Mints Hierarchy in First-Order Intuitionistic Logic. In Andrew M. Pitts, editor, Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Volume 9034 of Lecture Notes in Computer Science, pages 451-465, Springer, 2015. [doi]

Authors

Aleksy Schubert

This author has not been identified. Look up 'Aleksy Schubert' in Google

Pawel Urzyczyn

This author has not been identified. Look up 'Pawel Urzyczyn' in Google

Konrad Zdanowski

This author has not been identified. Look up 'Konrad Zdanowski' in Google
runs on