The SCEAS System
Navigation Menu

Journals in DBLP

Studia Logica
2006, volume: 82, number: 1


  1. From the Editor. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:3-5 [Journal]
  2. Matthias Baaz, Rosalie Iemhoff
    Gentzen Calculi for the Existence Predicate. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:7-23 [Journal]
  3. Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg
    Program Extraction from Normalization Proofs. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:25-49 [Journal]
  4. Kai Brünnler
    Cut Elimination inside a Deep Inference System for Classical Predicate Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:51-71 [Journal]
  5. Alessandra Carbone
    Group Cancellation and Resolution. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:73-93 [Journal]
  6. Agata Ciabattoni, Kazushige Terui
    Towards a Semantic Characterization of Cut-Elimination. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:95-119 [Journal]
  7. Grigori Mints
    Cut Elimination for S4C: A Case Study. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:121-132 [Journal]
  8. Georg Moser, Richard Zach
    The Epsilon Calculus and Herbrand Complexity. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:133-155 [Journal]
  9. Anna Zamansky, Arnon Avron
    Cut-Elimination and Quantification in Canonical Systems. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:157-176 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002