Volume 4,
Number 1,
March 2006
Erratum
Volume 4,
Number 2,
June 2006
TIME-ICTL 2003
- Mark Reynolds, Abdul Sattar:
Editors' introduction.
117-118
Electronic Edition (link) BibTeX
- Philippe Balbiani, Jean-François Condotta, Gérard Ligozat:
On the consistency problem for the INDU calculus.
119-140
Electronic Edition (link) BibTeX
- Alexander Bolotov, Artie Basukoski:
A clausal resolution method for extended computation tree logic ECTL.
141-167
Electronic Edition (link) BibTeX
- Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco:
Definability and decidability of binary predicates for time granularity.
168-191
Electronic Edition (link) BibTeX
- Howard J. Hamilton, Liqiang Geng, Leah Findlater, Dee Jay Randall:
Efficient spatio-temporal data mining with GenSpace graphs.
192-214
Electronic Edition (link) BibTeX
Volume 4,
Number 3,
September 2006
Methods for Modalities 3 (M4M-3)
Volume 4,
Number 4,
December 2006
Towards Computer Aided Mathematics
- Christoph Benzmüller:
Towards computer aided mathematics.
359-365
Electronic Edition (link) BibTeX
- Peter B. Andrews, Chad E. Brown:
TPS: A hybrid automatic-interactive system for developing proofs.
367-395
Electronic Edition (link) BibTeX
- Adam Naumowicz:
An example of formalizing recent mathematical results in Mizar.
396-413
Electronic Edition (link) BibTeX
- Josef Urban:
MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics.
414-427
Electronic Edition (link) BibTeX
- Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran:
Innovations in computational type theory using Nuprl.
428-469
Electronic Edition (link) BibTeX
- Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz:
Theorema: Towards computer-aided mathematical theory exploration.
470-504
Electronic Edition (link) BibTeX
- Lucas Dixon, Jacques D. Fleuriot:
A proof-centric approach to mathematical assistants.
505-532
Electronic Edition (link) BibTeX
- Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier:
Computer supported mathematics with Omegamega.
533-559
Electronic Edition (link) BibTeX
- Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine:
SAD as a mathematical assistant - how should we go from here to there?
560-591
Electronic Edition (link) BibTeX
- Claus Zinn:
Supporting the formal verification of mathematical texts.
592-621
Electronic Edition (link) BibTeX
- Freek Wiedijk:
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics.
622-645
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:06:19 2009
by Michael Ley (ley@uni-trier.de)
