An OBJ3 functional specification for boundary representation
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Simplifying termination proofs for rewrite systems by preprocessing
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Functional and constraint logic programming
Constraints in computational logics
Exceptions in the Rewriting Calculus
RTA '02 Proceedings of the 13th 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
Conditional narrowing without conditions
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming
Operational termination of conditional term rewriting systems
Information Processing Letters
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
Structures for Abstract Rewriting
Journal of Automated Reasoning
Simultaneous checking of completeness and ground confluence for algebraic specifications
ACM Transactions on Computational Logic (TOCL)
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational termination of conditional term rewriting systems
Information Processing Letters
On the confluence of lambda-calculus with conditional rewriting
Theoretical Computer Science
On the confluence of λ-calculus with conditional rewriting
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
From conditional to unconditional rewriting
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |