Transfinite Reductions in Orthogonal Term Rewriting Systems (1995)

Cached

Download Links

by Richard Kennaway , Jan Willem Klop , Ronan Sleep , Fer-jan De Vries
Citations:4 - 1 self