On the longest perpetual reductions in orthogonal expression reduction systems
Theoretical Computer Science
Type classes with more higher-order polymorphism
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-Order Computational Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Decidability of Bounded Higher-Order Unification
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Extensional Higher-Order Paramodulation and RUE-Resolution
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
Complexity of the higher order matching
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Handbook of automated reasoning
Statistical properties of simple types
Mathematical Structures in Computer Science
Decidability of fourth-order matching
Mathematical Structures in Computer Science
Decidability of bounded second order unification
Information and Computation
Higher-order beta matching with solutions in long beta-eta normal form
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Expressing combinatory reduction systems derivations in the rewriting calculus
Higher-Order and Symbolic Computation
Decidability of bounded higher-order unification
Journal of Symbolic Computation
Expression reduction systems with patterns
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Residuals in higher-order rewriting
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
| Hi-index | 0.00 |