Write a Blog >>

Not registered as user yet

Name: Anders Schlichtkrull

Affiliation: Technical University of Denmark

Personal website: http://people.compute.dtu.dk/andschl/

Contributions

PLNL 2018 A Verified Automatic Prover Based on Ordered Resolution
Show activities from other conferences

PLNL 2018-profile
View general profile