On the adequacy of graph rewriting for simulating term rewriting
ACM Transactions on Programming Languages and Systems (TOPLAS)
Call by need computations to root-stable form
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compositionality in the puzzle of semantics
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Context-sensitive rewriting strategies
Information and Computation
Parallel Admissible Graph Rewriting
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Transfinite Rewriting Semantics for Term Rewriting Systems
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Infinitary lambda calculus and discrimination of Berarducci trees
Theoretical Computer Science - Australasian computer science
Non-Standard Semantics for Program Slicing
Higher-Order and Symbolic Computation
On confluence and residuals in Cauchy convergent transfinite rewriting
Information Processing Letters
Nordic Journal of Computing
Rewriting term-graphs with priority
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
On modularity in infinitary term rewriting
Information and Computation
Equality of streams is a Π0 over 2-complete problem
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Proving termination of context-sensitive rewriting by transformation
Information and Computation
ω-rewriting the Collatz Problem
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science
Termination of just/fair computations in term rewriting
Information and Computation
On Term-Graph Rewrite Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
On Normalisation of Infinitary Combinatory Reduction Systems
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Normalization of Infinite Terms
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Applications of infinitary lambda calculus
Information and Computation
Productivity of stream definitions
Theoretical Computer Science
On modularity in infinitary term rewriting
Information and Computation
A trajectory-based strict semantics for program slicing
Theoretical Computer Science
Non strict confluent rewrite systems for data-structures with pointers
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
Decomposing the lattice of meaningless sets in the infinitary lambda calculus
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Termination of fair computations in term rewriting
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On confluence of infinitary combinatory reduction systems
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Infinitary combinatory reduction systems
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Generalizing newman's lemma for left-linear rewrite systems
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Infinitary rewriting: from syntax to semantics
Processes, Terms and Cycles
Skew and ω-skew confluence and abstract Böhm semantics
Processes, Terms and Cycles
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Pure type systems with corecursion on streams: from finite to infinitary normalisation
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
ω-rewriting the Collatz Problem
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Productivity of stream definitions
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
Highlights in infinitary rewriting and lambda calculus
Theoretical Computer Science
Rational term rewriting revisited: decidability and confluence
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.00 |