Journals in DBLP

Theor. Comput. Sci.
1991, volume: 85, number: 2

1. Marta Cialdea
   Resolution for Some First-Order Modal Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:85, n:2, pp:213-229 [Journal]
   
2. Narjes Doggaz, Claude Kirchner
   Completion for Unification. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:85, n:2, pp:231-251 [Journal]
   
3. Eric Sopena
   Hypermap Rewriting: A Combinatorial Approach. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:85, n:2, pp:253-281 [Journal]
   
4. Robert D. Tennent, J. K. Tobin
   Continuations in Possible-World Semantics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:85, n:2, pp:283-303 [Journal]
   
5. Jürgen Kämper
   Nonuniform Proof Systems: A New Framework to Describe Nonuniform and Probabilistic Complexity Classes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:85, n:2, pp:305-331 [Journal]
   
6. Shigeki Goto
   Proof Normalization with Nonstandard Objects. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:85, n:2, pp:333-351 [Journal]
   
7. Inge Bethke
   Coherence Spaces are Untopological. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:85, n:2, pp:353-357 [Journal]