Lide Grotenhuis

According to our database, Lide Grotenhuis authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic.

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger

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