Lukas Melgaard

According to our database, Lukas Melgaard authored at least 3 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Cyclic Proof Theory of Generalised Inductive Definitions.

Gianluca Curzi, Lukas Melgaard

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

Cyclic proof theory of positive inductive definitions.

Gianluca Curzi, Lukas Melgaard

CoRR, July, 2025

2023

Cyclic Proofs for Arithmetical Inductive Definitions.

Anupam Das, Lukas Melgaard

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023