共 50 条
- [41] A Categorical Semantics for Bounded Petri Nets ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (372): : 59 - 71
- [42] A Categorical Semantics for Guarded Petri Nets GRAPH TRANSFORMATION, ICGT 2020, 2020, 12150 : 57 - 74
- [43] Proof-Oriented Categorical Semantics CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 2016, 6 : 41 - 68
- [48] Schema matching using directed graph matching WSEAS Transactions on Computers, 2013, 12 (09): : 341 - 354
- [49] A Categorical Semantics for Linear Logical Frameworks FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 102 - 116
- [50] Discovering implicit constraints in design AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2011, 25 (01): : 57 - 75