Contributed
General inductive definitions and their proof theory from a perspective of knowledge representation
Robbe Van den Eede
KU Leuven, Vrije Universiteit Brussel
Robbe Van den Eede
KU Leuven, Vrije Universiteit Brussel