Asta Halkjær From

According to our database1, Asta Halkjær From authored at least 12 papers between 2017 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Isabelle/HOL as a Meta-Language for Teaching Logic.
Proceedings of the Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, 2020

Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
Teaching a Formalized Logical Calculus.
Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

Formalizing a Seligman-Style Tableau System for Hybrid Logic.
Arch. Formal Proofs, 2019

A Sequent Calculus for First-Order Logic.
Arch. Formal Proofs, 2019

2018
Multi-Agent Programming Contest 2018 - The Jason-DTU Team.
Proceedings of the Multi-Agent Programming Contest 2018, 2018

Multi-agent programming contest 2016 - the Python-DTU team.
Int. J. Agent Oriented Softw. Eng., 2018

Natural Deduction Assistant (NaDeA).
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Students' Proof Assistant (SPA).
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Epistemic Logic.
Arch. Formal Proofs, 2018

A Verified Simple Prover for First-Order Logic.
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017
Natural Deduction and the Isabelle Proof Assistant.
Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017


  Loading...