Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Removing Redundant Arguments of Functions
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Definitions by rewriting in the Calculus of Constructions
Mathematical Structures in Computer Science
Reachability Analysis over Term Rewriting Systems
Journal of Automated Reasoning
Computing constructor forms with non terminating rewrite programs
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Removing redundant arguments automatically
Theory and Practice of Logic Programming
Simultaneous checking of completeness and ground confluence for algebraic specifications
ACM Transactions on Computational Logic (TOCL)
Consistency and completeness of rewriting in the calculus of constructions
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Narrowing, abstraction and constraints for proving properties of reduction relations
Rewriting Computation and Proof
Hi-index | 0.00 |