URI(s)
Variants
- Klop, Jan Willem
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Author's Combinatory reduction systems, 1980:t.p. (J. W. Klop)
- found: CONCUR '90, c1990:CIP t.p. (J.W. Klop) data sheet, etc. (Jan Willem Klop; b. 12-19-45; Dept. of Math. and Computer Sci., Free Univ. of Amsterdam)
- found: Term rewriting systems, 2002:CIP t.p. (Jan Willem Klop) pub. info. (professor of applied logic, Dept. of Theoretical Computer Science, Vrije Universiteit, Amsterdam; b. Dec. 19, 1945)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1982-02-24: new
- 2002-05-01: revised
Alternate Formats