Cited By
View all- Lucas SGutiérrez R(2018)Automatic Synthesis of Logical Models for Order-Sorted First-Order TheoriesJournal of Automated Reasoning10.1007/s10817-017-9419-360:4(465-501)Online publication date: 1-Apr-2018
- (2014)Readings in Artificial IntelligenceundefinedOnline publication date: 12-May-2014
- Sangiorgi D(2009)On the origins of bisimulation and coinductionACM Transactions on Programming Languages and Systems10.1145/1516507.151651031:4(1-41)Online publication date: 26-May-2009
- Show More Cited By