Ignore:
Timestamp:
Feb 6, 2013, 11:28:32 PM (6 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/itp-2013/ccexec.bib

    r2626 r2635  
    526526 url = {http://www.cs.unibo.it/~tranquil/content/docs/indlabels.pdf}
    527527}
     528
     529@incollection{matita1,
     530year={2011},
     531isbn={978-3-642-22437-9},
     532booktitle={Automated Deduction – CADE-23},
     533volume={6803},
     534series={Lecture Notes in Computer Science},
     535editor={Bjørner, Nikolaj and Sofronie-Stokkermans, Viorica},
     536doi={10.1007/978-3-642-22438-6_7},
     537title={The Matita Interactive Theorem Prover},
     538url={http://dx.doi.org/10.1007/978-3-642-22438-6_7},
     539publisher={Springer Berlin Heidelberg},
     540author={Asperti, Andrea and Ricciotti, Wilmer and Sacerdoti Coen, Claudio and Tassi, Enrico},
     541pages={64-69}
     542}
     543
     544@article{matita2,
     545year={2007},
     546issn={0168-7433},
     547journal={Journal of Automated Reasoning},
     548volume={39},
     549issue={2},
     550doi={10.1007/s10817-007-9070-5},
     551title={User Interaction with the Matita Proof Assistant},
     552url={http://dx.doi.org/10.1007/s10817-007-9070-5},
     553publisher={Springer Netherlands},
     554keywords={Proof assistant; Interactive theorem proving; Digital libraries; XML; Mathematical knowledge management; Authoring},
     555author={Asperti, Andrea and Sacerdoti Coen, Claudio and Tassi, Enrico and Zacchiroli, Stefano},
     556pages={109-139},
     557language={English}
     558}
Note: See TracChangeset for help on using the changeset viewer.