Searching for "A rewriting calculus for cyclic higher-order term graphs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A rewriting calculus for cyclic higher-order term graphs
by Paolo Baldan, Clara Bertolissi, Claude Kirchner — 2004 — in "2nd International Workshop on Term Graph Rewriting - TERMGRAPH’2004
…). Given a ρ-term T, its sets of free A rewriting calculus for cyclic higher-order term graphs 5 Figure 2…
Cited by 5 (1 self) – Add To MetaCart

unknown title
by C. Bertolissi A, P. Baldan B, H. Cirstea A, C. Kirchner A
…. Both can be found at the ENTCS Macro Home Page. A rewriting calculus for cyclic higher-order term…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB