Searching for "Term Graph Rewriting." – sorted by Relevance.
-
Term Graph Rewriting
- Term Graph Rewriting Detlef Plump Computing Science Institute/ CSI-R9822 September 1998 Computing
- Cited by 52 (5 self) – Add To MetaCart
-
Transitive Term Graph Rewriting
- 1 of 7 Transitive Term Graph Rewriting R. Banach Computer Science Dept., Manchester University
- Cited by 2 (1 self) – Add To MetaCart
-
Bisimilarity in Term Graph Rewriting
- Centrum voor Wiskunde en Informatica Bisimilarity in term graph rewriting Z.M. Ariola, J.W. Klop, D
- Cited by 2 (1 self) – Add To MetaCart
-
Equational Term Graph Rewriting
- Equational Term Graph Rewriting Zena M. Ariola Computer & Information Science Department
- Cited by 53 (8 self) – Add To MetaCart
-
Conditional Term Graph Rewriting
- Conditional Term Graph Rewriting Enno Ohlebusch Technische Fakultat, University of Bielefeld, P
- Cited by 2 (2 self) – Add To MetaCart
-
Term Graph Rewriting and Strong Sequentiality
- a#aaaaa Term Graph Rewriting and Strong Sequentiality Sjaak Smetsers University of Nijmegen
- Add To MetaCart
-
Inequational Deduction as Term Graph Rewriting
- TERMGRAPH Preliminary Version Inequational Deduction as Term Graph Rewriting 1 Andrea Corradini 2
- Add To MetaCart
-
Linear Behaviour Of Term Graph Rewriting Programs
- LINEAR BEHAVIOUR OF TERM GRAPH REWRITING PROGRAMS Richard Banach George A. Papadopoulos CS
- Cited by 12 (12 self) – Add To MetaCart
-
A 2-Categorical Presentation of Term Graph Rewriting
- A 2-Categorical Presentation of Term Graph Rewriting ? A. Corradini 1 , F. Gadducci 2;3 1 CWI
- Cited by 30 (16 self) – Add To MetaCart
-
Simple Type Inference For Term Graph Rewriting Systems
- SIMPLE TYPE INFERENCE FOR TERM GRAPH REWRITING SYSTEMS R. Banach 1 Computer Science Department
- Cited by 3 (1 self) – Add To MetaCart

