Journals in DBLP

Theor. Comput. Sci.
1991, volume: 90, number: 1

1. Donald E. Knuth
   Theory and Practice. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:90, n:1, pp:1-15 [Journal]
   
2. Igor V. Pottosin
   Analysis of Program Optimization Possibilities and Further Development. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:90, n:1, pp:17-36 [Journal]
   
3. Victor N. Kasyanov
   Transformational Approach to Program Concretization. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:90, n:1, pp:37-46 [Journal]
   
4. Mikhail A. Bulyonkov
   From Partial Evaluation to Mixed Computation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:90, n:1, pp:47-60 [Journal]
   
5. Yoshihiko Futamura, Kenroku Nogi, Akihiko Takano
   Essence of Generalized Partial Computation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:90, n:1, pp:61-79 [Journal]
   
6. V. E. Itkin
   An Algebra of Mixed Computation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:90, n:1, pp:81-93 [Journal]
   
7. Neil D. Jones
   Static Semantics, Types, and Binding Time Analysis. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:90, n:1, pp:95-118 [Journal]
   
8. Wladyslaw M. Turski
   Prescribing Behaviors. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:90, n:1, pp:119-125 [Journal]
   
9. J. W. de Bakker, J. H. A. Warmerdam
   Four Domains for Concurrency. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:90, n:1, pp:127-149 [Journal]
   
10. Ludmila Cherkasova, Vadim E. Kotov
    An Algebra of Concurrent Non-Deterministic Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:90, n:1, pp:151-170 [Journal]
    
11. Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
    Connectedness and Synchronization. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:90, n:1, pp:171-184 [Journal]
    
12. Enn Tyugu
    Higher Order Dataflow Schemas. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:90, n:1, pp:185-198 [Journal]
    
13. J. M. Barzdin, G. J. Barzdin
    Rapid Constructions of Algebraic Axioms From Samples. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:90, n:1, pp:199-208 [Journal]
    
14. Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup
    On Conservative Extensions of Syntax in System Development. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:90, n:1, pp:209-233 [Journal]
    
15. C. A. R. Hoare
    A Theory for the Derivation of Combinational C-MOS Circuit Designs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:90, n:1, pp:235-251 [Journal]
    
16. N. N. Nepejvoda
    A Bridge Between Constructive Logic and Computer Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:90, n:1, pp:253-270 [Journal]