POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A continuum of discrete systems
Annals of Mathematics and Artificial Intelligence
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae
Hi-index | 0.00 |