List of Books in Keyword #Termination

Term Rewriting and All That

Published on: 1998

Intermediate novel English

This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover all the basic …

Rewriting Computation Logic Termination Equations

Algorithmic term rewriting systems

Published on: cop. 2010.

Intermediate novel English

Rewriting Algorithms Termination Equations Logic

Page 1 of 1