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