Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday.
From MaRDI portal
Publication:1770206
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
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
This page was built for publication: Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday.
