| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
Anders Schlichtkrull
| Website: https://people.compute.dtu.dk/andschl/ |
Entries
| 2020 |
| April 8: Automated Stateful Protocol Verification |
| 2018 |
| November 23: A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover |
| January 18: Formalization of Bachmair and Ganzinger's Ordered Resolution Prover |
| 2017 |
| January 1: First-Order Logic According to Harrison |
| 2016 |
| December 7: Paraconsistency |
| June 30: The Resolution Calculus for First-Order Logic |