Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anders Schlichtkrull
conf.researchr.org general profile
PLNL 2018 profile
POPL 2019 profile
Not registered as user
Name:
Anders Schlichtkrull
Affiliation:
Technical University of Denmark
Personal website:
http://people.compute.dtu.dk/andschl/
Contributions
2019
CPP
Author of A Verified Prover Based on Ordered Resolution within the CPP 2019-track
2018
PLNL
Author of A Verified Automatic Prover Based on Ordered Resolution within the PLNL-track
Share
x
Sun 21 Sep 22:29