Personal information

No personal information available

Activities

Works (3)

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students

Vietnam Journal of Computer Science
2024-11 | Journal article
Contributors: Simon Tobias Lund; Jørgen Villadsen
Source: check_circle
Crossref

On Verified Automated Reasoning in Propositional Logic

Intelligent Information and Database Systems
2022-12 | Book chapter
Part of ISBN: 9783031217425
Part of ISBN: 9783031217432
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Jørgen Villadsen; Simon Tobias Lund
Source: Self-asserted source
Simon Tobias Lund

A Case Study in Computer-Assisted Meta-reasoning

Lecture Notes in Networks and Systems
2022-09 | Book chapter
Part of ISBN: 9783030868864
Part of ISBN: 9783030868871
Part of ISSN: 2367-3370
Part of ISSN: 2367-3389
Contributors: Asta Halkjær From; Jørgen Villadsen; Simon Tobias Lund
Source: Self-asserted source
Simon Tobias Lund