3 citations · 4 across the 8 of their papers we have counts for
1 paper · 2 filters
Sohei Ito, Makoto Tatsuta
Formal reasoning about inductively defined relations and structures is widely recognized not only for its mathematical interest but also for its importance in computer science, and…