Journals in DBLP

Theor. Comput. Sci.
1999, volume: 224, number: 1-2

1. Matthias Baaz
   Note on the Generalization of Calculations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:224, n:1-2, pp:3-11 [Journal]
   
2. Lev D. Beklemishev
   Parameter Free Induction and Provably Total Computable Functions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:224, n:1-2, pp:13-33 [Journal]
   
3. Bruno Courcelle
   The Monadic Second-Order Logic of Graphs XI: Hierarchical Decompositions of Connected Graphs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:224, n:1-2, pp:35-58 [Journal]
   
4. Yuri Leonidovich Ershov
   On d-Spaces. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:224, n:1-2, pp:59-72 [Journal]
   
5. Erich Grädel, Martin Otto
   On Logics with Two Variables. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:224, n:1-2, pp:73-113 [Journal]
   
6. Philippe de Groote
   An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:224, n:1-2, pp:115-134 [Journal]
   
7. Bernhard Heinemann
   Temporal Aspects of the Modal Logic of Subset Spaces. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:224, n:1-2, pp:135-155 [Journal]
   
8. Jean-Yves Marion
   From Multiple Sequent for Additive Linear Logic to Decision Procedures for Free Lattices. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:224, n:1-2, pp:157-172 [Journal]
   
9. Alexei Lisitsa, Vladimir Yu. Sazonov
   Linear Ordering on Graphs, Anti-Founded Sets and Polynomial Time Computability. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1999, v:224, n:1-2, pp:173-213 [Journal]
   
10. Volker Diekert, Yuri Matiyasevich, Anca Muscholl
    Solving Word Equations modulo Partial Commutations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:224, n:1-2, pp:215-235 [Journal]
    
11. Martin Otto
    Bisimulation-invariant PTIME and higher-dimensional µ-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:224, n:1-2, pp:237-265 [Journal]
    
12. Guy Perrier
    A PSPACE-complete Fragment of Second-order Linear Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:224, n:1-2, pp:267-289 [Journal]
    
13. Gregory S. Tseytin
    A Formalization of Reasoning not Derived from Standard Predicate Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:224, n:1-2, pp:291-317 [Journal]
    
14. Andrei Voronkov
    Simultaneous Rigid E-unification and other Decision Problems Related to the Herbrand Theorem. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:224, n:1-2, pp:319-352 [Journal]