Inheritance as sublation and its semantics
ACM SIGSOFT Software Engineering Notes
Abstract data type support in Prolog and its relation to parallelism
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Logic Programming Techniques for Dynamic VRML Web Content Generation
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
Model checking linear logic specifications
Theory and Practice of Logic Programming
I+: A multiparadigm language for object-oriented declarative programming
Computer Languages
Hi-index | 0.00 |