Research output

  1. Distances between formal theories

    Research output: Contribution to journalArticle

  2. On Generalization of Definitional Equivalence to Non-Disjoint Languages

    Research output: Contribution to journalArticle

View all (2) »

Activities

  1. Interpretation of Special Relativity in the Language of Newtonian Kinematics

    Activity: Talk or presentationTalk or presentation at a conference

View all (1) »

ID: 38918737