Journals in DBLP

Theor. Comput. Sci.
1976, volume: 3, number: 2

1. D. C. Jensen, Tomasz Pietrzykowski
   Mechanizing omega-Order Type Theory Through Unification. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1976, v:3, n:2, pp:123-171 [Journal]
   
2. David Park
   Finiteness is Mu-Ineffable. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1976, v:3, n:2, pp:173-181 [Journal]
   
3. Witold Lipski Jr.
   Information Storage and Retrieval - Mathematical Foundations II (Combinatorial Problems). [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1976, v:3, n:2, pp:183-211 [Journal]
   
4. Juris Hartmanis, Leonard Berman
   On Tape Bounds for Single Letter Alphabet Language Processing. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1976, v:3, n:2, pp:213-224 [Journal]
   
5. Henk Barendregt
   A Global Representation of the Recursive Functions in the lambda -Calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1976, v:3, n:2, pp:225-242 [Journal]
   
6. Marcel Paul Schützenberger
   Sur les Relations Rationnelles Entre Monoides Libres. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1976, v:3, n:2, pp:243-259 [Journal]
   
7. Peter H. Starke
   Analyse und Synthese von Asynchronen ND-Automaten. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1976, v:3, n:2, pp:261-266 [Journal]
   
8. Arnold Schönhage
   An Elementary Proof for Strassen's Degree Bound. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1976, v:3, n:2, pp:267-272 [Journal]