Searching for "Term Graph Rewriting." – sorted by Relevance.
217 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
