Anders Schlichtkrull

Anders Schlichtkrull

Postdoc

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 324, rum 180

2800 Kgs. Lyngby

Hjemmeside

Få tilsendt vCard på e-mail.

Publikationer
Projekter
Aktiviteter
Loading

Publikationer rss feed

2019
  PDF

A verified prover based on ordered resolution

Schlichtkrull, Anders ; Blanchette, Jasmin Christian ; Traytel, Dmitriy
part of: Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, pages: 152-165, 2019, Association for Computing Machinery
Presented at:
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.1145/3293880.3294100

  PDF

Natural Deduction Assistant (NaDeA)

Villadsen, Jørgen ; From, Andreas Halkjær ; Schlichtkrull, Anders
in: Electronic Proceedings in Theoretical Computer Science, vol: 290, pages: 14–29
Presented at:
International Workshop on Theorem proving components for Educational software

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.4204/EPTCS.290.2

  PDF

Students’ Proof Assistant (SPA)

Schlichtkrull, Anders ; Villadsen, Jørgen ; From, Andreas Halkjær
in: Electronic Proceedings in Theoretical Computer Science, vol: 290, pages: 1–13
Presented at:
International Workshop on Theorem proving components for Educational software

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2019     |    DOI: https://doi.org/10.4204/EPTCS.290.1

2018
  PDF

Formalization of the Resolution Calculus for First-Order Logic

Schlichtkrull, Anders
in: Journal of Automated Reasoning, vol: 61, issue: 1–4, pages: 455–484

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2018     |    DOI: https://doi.org/10.1007/s10817-017-9447-z

  PDF

A Verified Functional Implementation of Bachmair and Ganzinger’s Ordered Resolution Prover

Schlichtkrull, Anders ; Blanchette, Jasmin Christian ; Traytel, Dmitriy
in: Archive of Formal Proofs, pages: 1-60

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2018

  PDF

A Verified Simple Prover for First-Order Logic

Villadsen, Jørgen ; Schlichtkrull, Anders ; From, Andreas Halkjær
part of: Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR), pages: 88—104, 2018, CEUR-WS
Presented at:
6th Workshop on Practical Aspects of Automated Reasoning (PAAR)

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018

  PDF

Drawing Trees

From, Andreas Halkjær ; Schlichtkrull, Anders ; Villadsen, Jørgen
Presented at:
Isabelle Workshop 2018

Type: Paper (Peer reviewed)

Status: Published     |    År: 2018

  PDF

Formalization of Bachmair and Ganzinger's Ordered Resolution Prover

Schlichtkrull, Anders ; Blanchette, Jasmin Christian ; Traytel, Dmitriy ; Waldmann, Uwe
in: Archive of Formal Proofs, pages: 1-117

Type: Journal article (Peer reviewed)

Status: Published     |    År: 2018

  PDF

Formalization of First-Order Syntactic Unification

Brandt, Kasper Fabæch ; Schlichtkrull, Anders ; Villadsen, Jørgen
part of: 32nd International Workshop on Unification (UNIF 2018) — Informal Proceedings , 2018, The International Unification Workshop (UNIF)
Presented at:
32nd International Workshop on Unification

Type: Article in proceedings (Peer reviewed)

Status: Published     |    År: 2018

  PDF

Formalization of Logic in the Isabelle Proof Assistant

Schlichtkrull, Anders

Type: Ph.D. thesis

Status: Published     |    År: 2018