Foundations of logic programming
Foundations of logic programming
Handling function definitions through innermost superposition and rewriting
Proc. of the first international conference on Rewriting techniques and applications
Report on the Larch shared language
Science of Computer Programming
Completion of a set of rules modulo a set of equations
SIAM Journal on Computing
Abstract implementations and correctness proofs
3rd annual symposium on theoretical aspects of computer science on STACS 86
A compiler for conditional term rewriting systems
on Rewriting techniques and applications
Formal specifications, prototyping and integration tests
Proc. of the 1st European Software Engineering Conference on ESEC '87
Simplifying conditional term rewriting systems: Unification, termination and confluence
Journal of Symbolic Computation
Science of Computer Programming
Abstracts rewriting with concrete operators
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
The ASSPEGIQUE Specification Environment - Motivations and Design
Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
CAAP '83 Proceedings of the 8th Colloquium on Trees in Algebra and Programming
A Theory of Software Reusability
ESOP '88 Proceedings of the 2nd European Symposium on Programming
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
| Hi-index | 0.00 |