Partial evaluation of functional logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Simplifying termination proofs for rewrite systems by preprocessing
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
A Complete Selection Function for Lazy Conditional Narrowing
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Confluence and Termination of Simply Typed Term Rewriting Systems
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Applying Rewriting Techniques to the Verification of Erlang Processes
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Integration of declarative and constraint programming
Theory and Practice of Logic Programming
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Hi-index | 0.00 |