A Language of Patterns for Subterm Selection
From MaRDI portal
Publication:2914755
DOI10.1007/978-3-642-32347-8_25zbMath1360.68750OpenAlexW2171266004MaRDI QIDQ2914755
Georges Gonthier, Enrico Tassi
Publication date: 20 September 2012
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32347-8_25
Related Items
Uses Software