共 50 条
- [35] Well-behaved Epireflections for Kan Extensions Applied Categorical Structures, 2010, 18 : 219 - 230
- [38] Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 473 - 482