Richard Kennaway

Available identifiers

zbMath Open kennaway.richardWikidataQ59369432 ScholiaQ59369432MaRDI QIDQ912590

List of research outcomes

Publication	Date of Publication	Type
Infinitary lambda calculi and böhm models	2022-12-09	Paper
Meaningless terms in rewriting	2017-01-19	Paper
Processes, Terms and Cycles: Steps on the Road to Infinity	2006-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4808737	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738065	2004-08-11	Paper
Stable results and relative normalization	2001-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4490748	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4259973	1999-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4222786	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4222803	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q5284547	1997-01-22	Paper
Comparing curried and uncurried rewriting	1996-08-22	Paper
Transfinite reductions in orthogonal term rewriting systems	1995-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4834480	1995-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q4037323	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4038666	1993-05-18	Paper
Implementing term rewrite languages in DACTL	1990-01-01	Paper
Corrigendum to: On ``On graph rewritings	1988-01-01	Paper
Director strings as combinators	1988-01-01	Paper
On ``On graph rewritings	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Richard Kennaway