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

DOI10.1007/978-3-540-73147-4MaRDI QIDQ2454610zbMATH OpenOpenAlexFDO

Authors

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

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

Recommendations

• Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday
• scientific article; zbMATH DE number 785049
• Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday
• Formal aspects of computing. Essays dedicated to Derrick Kourie on the occasion of his 65th birthday
• Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday
• Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 80th birthday
• Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
• Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday
• scientific article; zbMATH DE number 3978366
• scientific article; zbMATH DE number 1639660

Cited in

(1)

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

Describes a project that uses

Uses Software

• Coq

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2454610)