Anders Schlichtkrull

Homepages 🌐

• https://people.compute.dtu.dk/andschl/

Entries

2023

Soundness of the Q0 proof system for higher-order logic

by Anders Schlichtkrull

Nov 20

Pushdown Systems

by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel

Oct 31

Labeled Transition Systems

by Anders Schlichtkrull, Morten Konggaard Schou, Jiří Srba and Dmitriy Traytel

Oct 31

2020

Automated Stateful Protocol Verification

by Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker and Anders Schlichtkrull

Apr 08

2018

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

by Anders Schlichtkrull, Jasmin Christian Blanchette and Dmitriy Traytel

Nov 23

Formalization of Bachmair and Ganzinger's Ordered Resolution Prover

by Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann

Jan 18

2017

First-Order Logic According to Harrison

by Alexander Birch Jensen, Anders Schlichtkrull and Jørgen Villadsen

Jan 01

2016

Paraconsistency

by Anders Schlichtkrull and Jørgen Villadsen

Dec 07

The Resolution Calculus for First-Order Logic

by Anders Schlichtkrull

Jun 30