Robbe Van den Eede

According to our database, Robbe Van den Eede authored at least 2 papers between 2024 and 2026.

Collaborative distances:

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

2026

A Sequent Calculus for General Inductive Definitions.

Robbe Van den Eede, Marc Denecker

CoRR, April, 2026

2024

A Sequent Calculus for Generalized Inductive Definitions.

Robbe Van den Eede, Robbe Van Biervliet, Marc Denecker

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024