Paperback
Add to list Added to list Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
Jean-Pierre Jouannaud has played a leading role in the field of rewriting and its technology. This Festschrift volume, published to honor him on his 60th Birthday, includes 13 refereed papers…
Available to order, ships in 7-14 daysAvailable to order