共 50 条
- [24] Design and implementation of a safety policy based on typed memory address Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2003, 40 (07):
- [25] Implementation issues concerning the action systems formalism EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2007, : 471 - +
- [26] Generalized encoding of description spaces and its application to typed feature structures 40TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, PROCEEDINGS OF THE CONFERENCE, 2002, : 64 - 71
- [27] Formalism: An Error in Implementation of the Sunshine Athletic Program PROCEEDINGS OF THE 2010 INTERNATIONAL SYMPOSIUM ON CHILDREN AND YOUTH FITNESS AND HEALTH, VOL 3, 2010, : 421 - 425
- [28] Interleaving universal principles and relational constraints over typed feature logic 35TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS AND THE 8TH CONFERENCE OF THE EUROPEAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, PROCEEDINGS OF THE CONFERENCE, 1997, : 1 - 8
- [29] Dependently typed records for representing mathematical structure THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 462 - 479