共 50 条
- [31] Typed feature structures and design space exploration AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1999, 13 (04): : 287 - 302
- [32] An optimized prolog encoding of typed feature structures LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 124 - 138
- [33] IMPLEMENTING A DATA DEFINITION FACILITY DRIVEN BY GRAPH GRAMMARS COMPUTER LANGUAGES, 1978, 3 (02): : 65 - 74
- [34] Is There a General Structure for Grammars? 2009 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION WORKSHOPS (CVPR WORKSHOPS 2009), VOLS 1 AND 2, 2009, : 531 - 531
- [35] Dependency structure grammars LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS, 2005, 3492 : 18 - 34
- [36] FEATURE-CONSTRAINT LOGICS FOR UNIFICATION GRAMMARS JOURNAL OF LOGIC PROGRAMMING, 1992, 12 (1-2): : 51 - 87
- [37] Combinatory Synthesis of Classes Using Feature Grammars FORMAL ASPECTS OF COMPONENT SOFTWARE, 2016, 9539 : 123 - 140
- [39] Implementing a Category-Theoretic Framework for Typed Abstract Syntax PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 307 - 323