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.

Automata Theoretic Account of Proof Search

Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt. Automata Theoretic Account of Proof Search. In Stephan Kreutzer, editor, 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. Volume 41 of LIPIcs, pages 128-143, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Authors

Aleksy Schubert

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

Wil Dekkers

This author has not been identified. Look up 'Wil Dekkers' in Google

Hendrik Pieter Barendregt

This author has not been identified. Look up 'Hendrik Pieter Barendregt' in Google
runs on