Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
A data-driven model for a subset of logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
The foundation of a generic theorem prover
Journal of Automated Reasoning
Representation and reasoning with attributive descriptions
Proceedings of the workshop on Sorts and types in artificial intelligence
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Theories and tools for designing application-specific knowledge base data models
Theories and tools for designing application-specific knowledge base data models
The architecture of the EXODUS extensible DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Communications of the ACM
Domain Analysis and Software Systems Modeling
Domain Analysis and Software Systems Modeling
A graph-theoretic data model for genome mapping databases
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)
A logical semantics for feature structures
ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
| Hi-index | 0.00 |