4 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Michèle Friend, Mohamed Khaled, Koen Lefever +1
In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something…