Searching for "Explicit Cyclic Substitutions." – sorted by Relevance.
-
Explicit Cyclic Substitutions
- Explicit Cyclic Substitutions Kristoffer Hgsbro Rose DIKU, University of Copenhagen
- Cited by 20 (2 self) – Add To MetaCart
-
Cyclic Lambda Graph Rewriting
- , these concern acyclic expressions only. A related system for `explicit cyclic substitutions' has been given
- Cited by 28 (2 self) – Add To MetaCart

