Journals in DBLP

J. Applied Logic
2006, volume: 4, number: 4

1. Christoph Benzmüller
   Towards computer aided mathematics. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:359-365 [Journal]
   
2. Peter B. Andrews, Chad E. Brown
   TPS: A hybrid automatic-interactive system for developing proofs. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:367-395 [Journal]
   
3. Adam Naumowicz
   An example of formalizing recent mathematical results in Mizar. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:396-413 [Journal]
   
4. Josef Urban
   MizarMode - an integrated proof assistance tool for the Mizar way of formalizing mathematics. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:414-427 [Journal]
   
5. Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran
   Innovations in computational type theory using Nuprl. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:428-469 [Journal]
   
6. 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. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:470-504 [Journal]
   
7. Lucas Dixon, Jacques D. Fleuriot
   A proof-centric approach to mathematical assistants. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:505-532 [Journal]
   
8. Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
   Computer supported mathematics with Omegamega. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:533-559 [Journal]
   
9. Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine
   SAD as a mathematical assistant - how should we go from here to there? [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:560-591 [Journal]
   
10. Claus Zinn
    Supporting the formal verification of mathematical texts. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:592-621 [Journal]
    
11. Freek Wiedijk
    Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:622-645 [Journal]