Rewriting, Computation and ProofHubert Comon

Rewriting, Computation and Proof

Hubert Comon · 2007

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2007
Language: English
Series: Lecture notes in computer science -- 4600. -- Festschrift
Publisher: Springer
Editions: 1
Pages: 272
ISBN: 9783540731467

Data source: Wikidata

More by Hubert Comon

Rewriting Techniques and ApplicationsHubert Comon

Rewriting Techniques and Applications

Hubert Comon · 1997

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993Hubert Comon

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17-21, 1993

Hubert Comon · 1995

Constraints in Computational Logics : Theory and ApplicationsHubert Comon

Constraints in Computational Logics : Theory and Applications

Hubert Comon · 2003

Activite Numerique No.913-914Hubert Comon

Activite Numerique No.913-914