Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 165, number:

1. Grigori Mints, Ruy J. G. B. de Queiroz
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:1-3 [Journal]
   
2. Alexandru Baltag, Sonja Smets
   Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:5-21 [Journal]
   
3. Tim Fernando
   Situations as Strings. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:23-36 [Journal]
   
4. Dominic J. D. Hughes
   Towards Hilbert's 24^th Problem: Combinatorial Proof Invariants: (Preliminary version). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:37-63 [Journal]
   
5. Makoto Kanazawa
   Abstract Families of Abstract Categorial Languages. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:65-80 [Journal]
   
6. Ulrich Kohlenbach
   A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:81-93 [Journal]
   
7. Laurentiu Leustean
   Proof Mining in R-trees and Hyperbolic Spaces. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:95-106 [Journal]
   
8. Larisa Maksimova
   On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:107-119 [Journal]
   
9. Aleksey Nogin, Alexei Kopylov
   Formalizing Type Operations Using the "Image" Type Constructor. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:121-132 [Journal]
   
10. Bryan Renne
    Propositional Games with Explicit Strategies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:133-144 [Journal]
    
11. Iliano Cervesato, Andre Scedrov
    Relating State-Based and Process-Based Concurrency through Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:145-176 [Journal]
    
12. Yoshitaka Suzuki
    Additive Consolidation with Maximal Change. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:177-187 [Journal]
    
13. Hans-Jörg Tiede, Stephan Kepser
    Monadic Second-Order Logic and Transitive Closure Logics over Trees. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:189-199 [Journal]
    
14. Dan E. Willard
    The Axiom System ISigma₀ Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:213-226 [Journal]