Niklas Heidler

Orcid: 0009-0001-9944-7587

According to our database¹, Niklas Heidler authored at least 2 papers between 2022 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

A Sequent Calculus For Trace Formula Implication.

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

2022

Mechanization of LAGC Semantics in Isabelle.

[DOI]

CoRR, 2022