Anders Schlichtkrull

  1. 2019
  2. Published

    A verified prover based on ordered resolution. / Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy.

    Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs. ed. / Assia Mahboubi; Magnus O. Myreen. Association for Computing Machinery, 2019. p. 152-165.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2019Researchpeer-review

  3. Published

    Natural Deduction Assistant (NaDeA). / Villadsen, Jørgen; From, Andreas Halkjær; Schlichtkrull, Anders.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 290, 2019, p. 14–29.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  4. Published

    Students’ Proof Assistant (SPA). / Schlichtkrull, Anders; Villadsen, Jørgen; From, Andreas Halkjær .

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 290, 2019, p. 1–13.

    Research output: Contribution to journalJournal article – Annual report year: 2019Researchpeer-review

  5. 2018
  6. Published

    Formalization of the Resolution Calculus for First-Order Logic. / Schlichtkrull, Anders.

    In: Journal of Automated Reasoning, Vol. 61, No. 1–4, 20.01.2018, p. 455–484.

    Research output: Contribution to journalJournal article – Annual report year: 2018Researchpeer-review

  7. Published

    A Verified Functional Implementation of Bachmair and Ganzinger’s Ordered Resolution Prover. / Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy.

    In: Archive of Formal Proofs, 2018, p. 1-60.

    Research output: Contribution to journalJournal article – Annual report year: 2018Researchpeer-review

  8. Published

    A Verified Simple Prover for First-Order Logic. / Villadsen, Jørgen; Schlichtkrull, Anders; From, Andreas Halkjær.

    Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR). ed. / Boris Konev; Josef Urban; Philipp Rümmer. CEUR-WS, 2018. p. 88—104.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2018Researchpeer-review

  9. Published

    Drawing Trees. / From, Andreas Halkjær; Schlichtkrull, Anders; Villadsen, Jørgen.

    2018. Paper presented at Isabelle Workshop 2018, Oxford, United Kingdom.

    Research output: Contribution to conferencePaper – Annual report year: 2018Researchpeer-review

  10. Published

    Formalization of Bachmair and Ganzinger's Ordered Resolution Prover. / Schlichtkrull, Anders; Blanchette, Jasmin Christian; Traytel, Dmitriy; Waldmann, Uwe.

    In: Archive of Formal Proofs, 2018, p. 1-117.

    Research output: Contribution to journalJournal article – Annual report year: 2018Researchpeer-review

  11. Published

    Formalization of First-Order Syntactic Unification. / Brandt, Kasper Fabæch; Schlichtkrull, Anders; Villadsen, Jørgen.

    32nd International Workshop on Unification (UNIF 2018) — Informal Proceedings . The International Unification Workshop (UNIF), 2018. P9.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2018Researchpeer-review

  12. Published

    Formalization of Logic in the Isabelle Proof Assistant. / Schlichtkrull, Anders.

    DTU Compute, 2018. 168 p.

    Research output: Book/ReportPh.D. thesis – Annual report year: 2018Research

Previous 1 2 3 4 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word