Algorithms and proofs inheritance in the FOC language
From MaRDI portal
Publication:1868513
DOI10.1023/A:1021979218446zbMath1064.68095OpenAlexW1836537838MaRDI QIDQ1868513
Virgile Prevosto, Damien Doligez
Publication date: 27 April 2003
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1021979218446
Related Items
Uses Software