Write a Blog >>

Not registered as user yet

Name:Anders Schlichtkrull
Affiliation:Technical University of Denmark

Contributions

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

PLNL 2018-profile
View general profile