Needed reduction and spine strategies for the lambda calculus
Information and Computation
Handbook of theoretical computer science (vol. B)
NV-sequentiality: a decidable condition for call-by-need computations in term-rewriting systems
SIAM Journal on Computing
Handbook of logic in computer science (vol. 2)
Programming in equational logic: beyond strong sequentiality
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Transfinite reductions in orthogonal term rewriting systems
Information and Computation
A sequential reduction strategy
ALP Proceedings of the fourth international conference on Algebraic and logic programming
Computing in Systems Described by Equations
Computing in Systems Described by Equations
Optimal Normalization in Orthogonal Term Rewriting Systems
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
Decidable Approximations of Term Rewriting Systems
RTA '96 Proceedings of the 7th International Conference on Rewriting Techniques and Applications
A Conflict Between Call-by-Need Computation and Parallelism
CTRS '94 Proceedings of the 4th International Workshop on Conditional and Typed Rewriting Systems
Sequentiality, Second-order Monadic Logic and Tree Automata
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Context-sensitive rewriting strategies
Information and Computation
Descendants and Head Normalization of Higher-Order Rewrite Systems
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Normalisation in Weakly Orthogonal Rewriting
RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Transfinite Rewriting Semantics for Term Rewriting Systems
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
An implementation of narrowing strategies
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Refining weakly outermost-needed rewriting and narrowing
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
A demand-driven narrowing calculus with overlapping definitional trees
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Higher-order narrowing with definitional trees
Journal of Functional Programming
Strong and NV-sequentiality of constructor systems
Information Processing Letters
Rules + strategies for transforming lazy functional logic programs
Theoretical Computer Science
Decidable call-by-need computations in term rewriting
Information and Computation
Proving termination of context-sensitive rewriting by transformation
Information and Computation
On Normalisation of Infinitary Combinatory Reduction Systems
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Decidable call-by-need computations in term rewriting
Information and Computation
Evaluation strategies for functional logic programming
Journal of Symbolic Computation
Stable computational semantics of conflict-free rewrite systems (partial orders with duplication)
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Natural rewriting for general term rewriting systems
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
A virtual machine for functional logic computations
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Natural narrowing for general term rewriting systems
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Reduction strategies for left-linear term rewriting systems
Processes, Terms and Cycles
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
Highlights in infinitary rewriting and lambda calculus
Theoretical Computer Science
| Hi-index | 0.00 |