Lefever, Koen

1. On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures
   2018/02/19 by Koen Lefever, Gergely Székely, Lefever, Koen +1 · 3 citations
   Computer Science · Mathematics · #math.LO
2. Comparing Classical and Relativistic Kinematics in First-Order Logic
   2017/07/13 by Koen Lefever, Gergely Székely, Lefever, Koen +1 · 2 citations
   Mathematics · Physics and Astronomy · #math-ph #math.LO #math.MP