Result 1 to 20 from 40 total
Licensing the Mizar Mathematical Library (MML). (English)
Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18‒23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 149-163 (2011).
1
The Mycielskian of a graph (English)
Formalized Mathematics 19, No. 1, 27-34 (2011).
2
Licensing the mizar mathematical library (English)
Calculemus/MKM, 149-163 (2011).
3
API conformance verification for Java programs. (English)
Dong, Jin Song (ed.) et al., Formal methods and software engineering. 12th international conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16900-7/pbk). Lecture Notes in Computer Science 6447, 188-203 (2010).
4
A Wiki for Mizar: Motivation, considerations, and initial prototype. (English)
Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 455-469 (2010).
5
A wiki for mizar: motivation, considerations, and initial prototype. (English)
Comput. Res. Repos. 2010, Article No. 1005.4552 (2010).
6
API conformance verification for Java programs (English)
ICFEM, 188-203 (2010).
7
A wiki for mizar: motivation, considerations, and initial prototype (English)
AISC/MKM/Calculemus, 455-469 (2010).
8
Dilworth’s decomposition theorem for posets (English)
Formalized Mathematics 17, No. 1-4, 223-232 (2009).
9
Helly property for subtrees (English)
Formalized Mathematics 16, No. 1-4, 91-96 (2008).
10
Proceedings of the LPAR 2008 workshops, knowledge exchange: automated provers and proof assistants, and the 7th international workshop on the implementation of logics, doha, qatar, November 22, 2008 (English)
CEUR Workshop Proceedings: LPAR Workshops 418 (2008).
11
Alternative aggregates in Mizar. (English)
Kauers, Manuel (ed.) et al., Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27‒30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence, 327-341 (2007).
12
Alternative aggregates in mizar (English)
Calculemus/MKM, 327-341 (2007).
13
Towards automatic exception safety verification. (English)
Misra, Jayadev (ed.) et al., FM 2006: Formal methods. 14th international symposium on formal methods, Hamilton, Canada, August 21‒27, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37215-8/pbk). Lecture Notes in Computer Science 4085, 396-411 (2006).
14
Towards automatic exception safety verification (English)
FM, 396-411 (2006).
15
Specifying the law of demeter and C++ programming guidelines with FCL (English)
SCAM, 119-127 (2004).
16
Specifying framework constraints with FCL (English)
CASCON, 96-110 (2004).
17
The Post correspondence problem over a unary alphabet. (English)
Appl. Math. Lett. 16, No. 5, 723-727 (2003).
18
On the integrity of a repository of formalized mathematics. (English)
Asperti, Andrea (ed.) et al., Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2594, 162-174 (2003).
19
Information retrieval in MML. (English)
Asperti, Andrea (ed.) et al., Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2594, 119-132 (2003).
20
Result 1 to 20 from 40 total
Start
Contact
Print
General Help
