Journals in DBLP

Theor. Comput. Sci.
1986, volume: 46, number: 3

1. Christian Mauduit
   Morphismes Unispectraux. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1986, v:46, n:3, pp:1-11 [Journal]
   
2. Gilles Bernot, Michel Bidoit, Christine Choppy
   Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1986, v:46, n:3, pp:13-45 [Journal]
   
3. Y. Q. Guo, G. W. Xu, Gabriel Thierrin
   Disjunctive Decomposition of Languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1986, v:46, n:3, pp:47-51 [Journal]
   
4. Kosaburo Hashiguchi
   Notes on Finitely Generated Semigroups and Pumping Conditions for Regular Languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1986, v:46, n:3, pp:53-66 [Journal]
   
5. Nadine Lerat, Witold Lipski Jr.
   Nonapplicable Nulls. [Citation Graph (2, 0)][DBLP]
   Theor. Comput. Sci., 1986, v:46, n:3, pp:67-82 [Journal]
   
6. Tom Head, Barbara Lando
   Periodic D0L Languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1986, v:46, n:3, pp:83-89 [Journal]
   
7. Hideki Yamasaki, Masako Takahashi, Kojiro Kobayashi
   Characterization of omega-Regular Languages by Monadic Second-Order Formulas. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1986, v:46, n:3, pp:91-99 [Journal]
   
8. Michel Latteux, Erick Timmerman
   Two Characterizations of Rational Adherences. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1986, v:46, n:3, pp:101-106 [Journal]
   
9. Rodney R. Howell, Louis E. Rosier, Dung T. Huynh, Hsu-Chun Yen
   Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1986, v:46, n:3, pp:107-140 [Journal]
   
10. Joxan Jaffar, Peter J. Stuckey
    Semantics of Infinite Tree Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:141-158 [Journal]
    
11. Christine Duboc
    On Some Equations in Free Partially Commutative Monoids. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:159-174 [Journal]
    
12. Alvis Brazma, Efim B. Kinber
    Generalized Regular Expressions-A Language for Synthesis of Programs with Braching in Loops. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:175-195 [Journal]
    
13. Giuseppe Longo, Simone Martini
    Computability in Higher Types, P omega and the Completeness of Type Assignment. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:197-217 [Journal]
    
14. Phan Dinh Dieu, Le Cong Thanh, Le Tuan Hoa
    Average Polynomial Time Complexity of Some NP-Complete Problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:219-327 [Journal]
    
15. Bernhard Griesser
    Lower Bounds for the Approximative Complexity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:329-338 [Journal]