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.

A Verified Simple Prover for First-Order Logic

Jørgen Villadsen, Anders Schlichtkrull, Andreas Halkjær From. A Verified Simple Prover for First-Order Logic. In Boris Konev, Josef Urban, Philipp Rümmer, editors, Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018. Volume 2162 of CEUR Workshop Proceedings, pages 88-104, CEUR-WS.org, 2018. [doi]

Authors

Jørgen Villadsen

This author has not been identified. Look up 'Jørgen Villadsen' in Google

Anders Schlichtkrull

This author has not been identified. Look up 'Anders Schlichtkrull' in Google

Andreas Halkjær From

This author has not been identified. Look up 'Andreas Halkjær From' in Google
runs on