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 String-rewriting systems

String-rewriting systems

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

Term rewriting systems

  • 2003
  • Format: Book
Location
Access Content Online
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 and all that

Term rewriting and all that

Location Call # Status
Joyner - General Stacks QA267 .B314 1998 ✔ 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 Advanced topics in term rewriting

Advanced topics in term rewriting

Location Call # Status
Joyner - General Stacks QA267 .O36 2002 ✔ Available
Cover image for Term rewriting and applications

Term rewriting and applications

Location
Access Content Online
Cover image for Canonical equational proofs

Canonical equational proofs

Location Call # Status
Joyner - General Stacks QA267 .B32 1991 ✔ Available
Cover image for Conditional term rewriting systems

Conditional term rewriting systems

Location Call # Status
Joyner - General Stacks QA267 .I578 1992 ✔ Available