Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday.

DOI10.1007/b106663zbMath1058.68008OpenAlexW2484955858MaRDI QIDQ1770206

No author found.

Publication date: 11 April 2005

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

Full work available at URL: https://doi.org/10.1007/b106663

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Mechanization of proofs and logical operations (03B35)

Related Items (2)

\(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps ⋮ Shallow confluence of conditional term rewriting systems

Uses Software

• MKRP

This page was built for publication: Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday.