Start Over
You searched for: author Comon, Hubert.

Search Results

Cover image for Rewriting techniques and applications

Rewriting techniques and applications

  • 1997
  • Format: Electronic
Location
Access Content Online
Cover image for Rewriting techniques and applications

Rewriting techniques and applications

  • 1997
  • Format: Book
Location Call # Status
Joyner - General Stacks QA267 .R48 1997 ✔ Available
Cover image for Rewriting, computation and proof

Rewriting, computation and proof

  • 2007
  • Format: Electronic
Location
Access Content Online
Cover image for Computer aided verification

Computer aided verification

Location
Access Content Online
Cover image for Computer Aided Verification

Computer Aided Verification

Location
Access Content Online
Cover image for Constraints in computational logics

Constraints in computational logics

  • 2001
  • Format: Electronic
Location
Access Content Online
Cover image for Term rewriting

Term rewriting

Location Call # Status
Joyner - General Stacks QA75.5 .F74 1993 ✔ Available
Cover image for Constraints in computational logics

Constraints in computational logics

  • 2001
  • Format: Electronic
Location
Access Content Online
Cover image for Term rewriting

Term rewriting

Location
Access Content Online
Cover image for Constraint programming

Constraint programming

  • 1995
  • Format: Book
Location Call # Status
Joyner - General Stacks QA76.612 .C67 1995 ✔ Available