Theoretical Computer Science
Equational logic as a programming language
Equational logic as a programming language
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Theoretical Computer Science
A correctness proof for combinator reduction with cycles
ACM Transactions on Programming Languages and Systems (TOPLAS)
Machine models and simulations
Handbook of theoretical computer science (vol. A)
Handbook of theoretical computer science (vol. B)
Handbook of logic in computer science (vol. 1)
Handbook of logic in computer science (vol. 1)
Handbook of logic in computer science (vol. 2)
Graph rewriting systems for efficient compilation
Term graph rewriting
On abstraction and the expressive power of programming languages
TACS'91 Selected papers of the conference on Theoretical aspects of computer software
Transfinite reductions in orthogonal term rewriting systems
Information and Computation
Jungle Evaluation for Efficient Term Rewriting
Proceedings of the International Workshop on Algebraic and Logic Programming
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Toward a complete transformational toolkit for compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equations as a uniform framework for partial evaluation and abstract interpretation
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph rewrite systems for program optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel Admissible Graph Rewriting
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
The conflict-free reduction geometry
Theoretical Computer Science
Rewriting term-graphs with priority
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science
On Term-Graph Rewrite Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Inductively Sequential Term-Graph Rewrite Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Applications of infinitary lambda calculus
Information and Computation
A Rewriting Calculus for Cyclic Higher-order Term Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
Remarks on Thatte's transformation of term rewriting systems
Information and Computation
Sharing in the graph rewriting calculus
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
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 |