Rewriting, computation and proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday.

DOI10.1007/978-3-540-73147-4zbMath1120.68003OpenAlexW1663964543MaRDI QIDQ2454610

No author found.

Publication date: 16 October 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73147-4

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Grammars and rewriting systems (68Q42)

Related Items (1)

Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms

Uses Software

• Unnamed Item

This page was built for publication: Rewriting, computation and proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday.