The following pages link to (Q2740996):
Displaying 9 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- GC\(^{2}\): a generational conservative garbage collector for the ATERM library (Q1885928) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- (Q2843608) (← links)
- Canonical Abstract Syntax Trees (Q2873780) (← links)
- A Rewriting Calculus for Multigraphs with Ports (Q5415656) (← links)
