Koen Lefever

According to our database, Koen Lefever authored at least 2 papers between 2019 and 2020.

Collaborative distances:

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

2020

Distances between Formal Theories.

Mohamed Khaled, Gergely Székely, Koen Lefever, Michèle Friend

Rev. Symb. Log., 2020

2019

On Generalization of Definitional Equivalence to Non-Disjoint Languages.

Koen Lefever, Gergely Székely

J. Philos. Log., 2019