Start Over
You searched for: subject "Rewriting systems (Computer science)"

Search Results

Cover image for Analytical learning and term-rewriting systems

Analytical learning and term-rewriting systems

Location Call # Status
Joyner - Microforms B300 NAS 1.15:107892 ✔ Available
Cover image for Term rewriting and all that

Term rewriting and all that

Location Call # Status
Joyner - General Stacks QA267 .B314 1998 ✔ Available
Cover image for String-rewriting systems

String-rewriting systems

Location Call # Status
Joyner - General Stacks QA267 .B66 1993 ✔ Available
Cover image for Efficient graph rewriting and its implementation

Efficient graph rewriting and its implementation

Location Call # Status
Joyner - General Stacks QA267 .D67 1995 ✔ Available
Cover image for Implementation of term rewriting-based programming languages

Implementation of term rewriting-based programming languages

Location Call # Status
Joyner - General Stacks QA267 .N42 2003 ✔ Available
Cover image for Term rewriting systems

Term rewriting systems

  • 2003
  • Format: Book
Location Call # Status
Joyner - General Stacks QA267 .T43 2003 ✔ Available
Cover image for Advanced topics in term rewriting

Advanced topics in term rewriting

Location Call # Status
Joyner - General Stacks QA267 .O36 2002 ✔ Available
Cover image for Conditional and typed rewriting systems

Conditional and typed rewriting systems

Location Call # Status
Joyner - General Stacks QA267 .C5932 1991 ✔ Available
Cover image for Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987

Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987

  • 1988
  • Format: Book
Location Call # Status
Joyner - General Stacks QA267 .C5933 1988 ✔ Available
Cover image for Canonical equational proofs

Canonical equational proofs

Location Call # Status
Joyner - General Stacks QA267 .B32 1991 ✔ Available