Programming with equalities, subsorts, overloading, and parametrization in OBJ
- 作者Jean-Pierre Jouannaud; Claude Kirchner; Hélène Kirchner; Aristide Mégrelis
- 卷第12卷
- 期第3期
- 印刷ISSN0743-1066
- 文件大小1494.73KB
- 发表时间1992
- DOI10.1016/0743-1066(92)90027-z
- 页码257-279
同作者推荐
Distributed processing of logic programsWolfson, Ouri; Silberschatz, Avi · ACM SIGMOD Record · 1988
[ACM Press the 1988 ACM SIGMOD international conference - Chicago, Illinois, United States (1988.06.01-1988.06.03)] Proceedings of the 1988 ACM SIGMOD international conference on Management of data - SIGMOD '88 - Distributed processing of logic programsWolfson, Ouri; Silberschatz, Avi · 1988