Constrained equational reasoning
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Journal of Symbolic Computation
Type declarations as subtype constraints in logic programming
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Typing constraint logic programs
Theory and Practice of Logic Programming
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation
Hi-index | 0.00 |