( en | de | ru )

 

Disambiguation of "From, Asta Halkjær"

Author of the publication

copydeleteadd this publication to your clipboard
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle.

, , and . ThEdu@CADE, volume 354 of EPTCS, page 71-85. (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alfred From

Akram Astani

Asta Hampe

Asta Ohlsson

Asta Boelcke

 

Other publications of authors with the same name

Synthetic Completeness.. Arch. Formal Proofs, (2023)A Sequent Calculus Prover for First-Order Logic with Functions., and . Arch. Formal Proofs, (2022)Formalizing a Seligman-Style Tableau System for Hybrid Logic.. Arch. Formal Proofs, (2019)A Naive Prover for First-Order Logic.. Arch. Formal Proofs, (2022)Verifying a Sequent Calculus Prover for First-Order Logic with Functions in Isabelle/HOL., and . ITP, volume 237 of LIPIcs, page 13:1-13:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Case Study in Computer-Assisted Meta-reasoning., , and . DCAI (2), volume 332 of Lecture Notes in Networks and Systems, page 53-63. Springer, (2021)A Verified Simple Prover for First-Order Logic., , and . PAAR@FLoC, volume 2162 of CEUR Workshop Proceedings, page 88-104. CEUR-WS.org, (2018)Soundness and Completeness of an Axiomatic System for First-Order Logic.. Arch. Formal Proofs, (2021)A sequent calculus for first-order logic formalized in Isabelle/HOL., , and . J. Log. Comput., 33 (4): 818-836 (June 2023)Formalizing Henkin-Style Completeness of an Axiomatic System for Propositional Logic.. ESSLLI Student Sessions, volume 14354 of Lecture Notes in Computer Science, page 80-92. Springer, (2021)