Journals in DBLP

Theor. Comput. Sci.
1996, volume: 170, number: 1-2

1. Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty
   Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:170, n:1-2, pp:1-46 [Journal]
   
2. Jan Friso Groote, M. P. A. Sellink
   Confluence for Process Verification. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:170, n:1-2, pp:47-81 [Journal]
   
3. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
   Filter Models for Conjunctive-Disjunctive lambda-Calculi. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:170, n:1-2, pp:83-128 [Journal]
   
4. Noriko H. Arai
   Tractability of Cut-Free Gentzen Type Propositional Calculus with Permutation Inference. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:170, n:1-2, pp:129-144 [Journal]
   
5. Mila E. Majster-Cederbaum, Christel Baier
   Metric Completion versus Ideal Completion. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:170, n:1-2, pp:145-171 [Journal]
   
6. Franco Barbanera, Maribel Fernández
   Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:170, n:1-2, pp:173-207 [Journal]
   
7. Yannis Dimopoulos, Alberto Torres
   Graph Theoretical Structures in Logic Programs and Default Theories. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:170, n:1-2, pp:209-244 [Journal]
   
8. Adel Bouhoula
   Using Induction and Rewriting to Verify and Complete Parameterized Specifications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:170, n:1-2, pp:245-276 [Journal]
   
9. Vladimiro Sassone
   An Axiomatization of the Algebra of Petri Net Concatenable Processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:170, n:1-2, pp:277-296 [Journal]
   
10. Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
    Models for Concurrency: Towards a Classification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:297-348 [Journal]
    
11. Jan J. M. M. Rutten
    Elements of Generalized Ultrametric Domain Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:349-381 [Journal]
    
12. Jia-Huai You, Robert Cartwright, Ming Li
    Iterative Belief Revision in Extended Logic Programming. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:383-406 [Journal]
    
13. Barney P. Hilken
    Towards a Proof Theory of Rewriting: The Simply Typed 2lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:407-444 [Journal]
    
14. Hsu-Chun Yen, Shi-Tsuen Jian, Ta-Pang Lao
    Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:170, n:1-2, pp:445-464 [Journal]