The following pages link to Richard Kennaway (Q912590):
Displaying 21 items.
- Implementing term rewrite languages in DACTL (Q912591) (← links)
- On ``On graph rewritings'' (Q1098284) (← links)
- Corrigendum to: On ``On graph rewritings'' (Q1109562) (← links)
- Transfinite reductions in orthogonal term rewriting systems (Q1893727) (← links)
- Comparing curried and uncurried rewriting (Q1918496) (← links)
- Meaningless terms in rewriting (Q2956726) (← links)
- Director strings as combinators (Q3823125) (← links)
- (Q4037323) (← links)
- (Q4038666) (← links)
- (Q4222786) (← links)
- (Q4222803) (← links)
- (Q4259973) (← links)
- (Q4490748) (← links)
- Stable results and relative normalization (Q4500174) (← links)
- (Q4738065) (← links)
- (Q4808737) (← links)
- (Q4834480) (← links)
- Infinitary lambda calculi and böhm models (Q5055835) (← links)
- (Q5284547) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898156) (← links)
- Lambda-definable term rewriting systems (Q6560356) (← links)