共 50 条
- [1] Evidence for Cortical Automaticity in Rule-Based Categorization JOURNAL OF NEUROSCIENCE, 2010, 30 (42): : 14225 - 14234
- [3] CoqTL: a Coq DSL for rule-based model transformation SOFTWARE AND SYSTEMS MODELING, 2020, 19 (02): : 425 - 439
- [4] From graph transformation to rule-based programming with diagrams APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS, 2000, 1779 : 165 - 180
- [5] AN APPROACH TO FORMAL VERIFICATION OF RULE-BASED MODEL TRANSFORMATION INFORMATION TECHNOLOGIES' 2009, 2009, : 93 - 99
- [6] CoqTL: a Coq DSL for rule-based model transformation Software and Systems Modeling, 2020, 19 : 425 - 439
- [8] TabbyXL: Rule-Based Spreadsheet Data Extraction and Transformation INFORMATION AND SOFTWARE TECHNOLOGIES, ICIST 2019, 2019, 1078 : 59 - 75
- [9] Composition techniques for rule-based model transformation languages THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, 2008, 5063 : 152 - 167