Algorithms and proofs inheritance in the FOC language
From MaRDI portal
Publication:1868513
DOI10.1023/A:1021979218446zbMath1064.68095MaRDI QIDQ1868513
Virgile Prevosto, Damien Doligez
Publication date: 27 April 2003
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
68W30: Symbolic computation and algebraic computation
Uses Software