Active Bibliography

2 Mathematical Journals as Reasoning Agents: Literature Review – F Piroi, B Buchberger, Camelia Rosenkranz - 2008
Mathematical Journals as Reasoning Agents: Literature Review Contents – unknown authors
552 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
1 Knowledge Archives in Theorema: A Logic-Internal Approach – Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean
227 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 10 (23) 2007 Towards a Mizar Mathematical Library in OMDoc Format – Grzegorz Bancerek I, Michael Kohlhase Ii
Scheme–Based Systematic Exploration of Natural Numbers ∗ – unknown authors
2 Case Studies in Systematic Exploration of Tuple Theory – Isabela Drămnesc, Tudor Jebelean, Adrian Crăciun - 2010