Anders Schlichtkrull
Homepages 🌐
Entries
2023
Pushdown Systems
by Anders Schlichtkrull 🌐, Morten Konggaard Schou, Jiří Srba 🌐 and Dmitriy Traytel 🌐
Labeled Transition Systems
by Anders Schlichtkrull 🌐, Morten Konggaard Schou, Jiří Srba 🌐 and Dmitriy Traytel 🌐
2020
Automated Stateful Protocol Verification
by Andreas V. Hess 📧, Sebastian Mödersheim 🌐, Achim D. Brucker 🌐 and Anders Schlichtkrull 🌐
2018
A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover
by Anders Schlichtkrull 🌐, Jasmin Christian Blanchette 📧 and Dmitriy Traytel 🌐
Formalization of Bachmair and Ganzinger's Ordered Resolution Prover
by Anders Schlichtkrull 🌐, Jasmin Christian Blanchette 📧, Dmitriy Traytel 🌐 and Uwe Waldmann 📧
2017
First-Order Logic According to Harrison
by Alexander Birch Jensen 🌐, Anders Schlichtkrull 🌐 and Jørgen Villadsen 🌐