Journals in DBLP

Theor. Comput. Sci.
1997, volume: 189, number: 1-2

1. Damian Niwinski
   Fixed Point Characterization of Infinite Behavior of Finite-State Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:189, n:1-2, pp:1-69 [Journal]
   
2. Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot
   Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:189, n:1-2, pp:71-107 [Journal]
   
3. Hans-Dieter Burkhard
   Fairness and Control in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:189, n:1-2, pp:109-127 [Journal]
   
4. Thomas Eiter, Georg Gottlob, Nicola Leone
   Abduction from Logic Programs: Semantics and Complexity. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:189, n:1-2, pp:129-177 [Journal]
   
5. Patrice Brémond-Grégoire, Insup Lee
   A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:189, n:1-2, pp:179-219 [Journal]
   
6. Mohamed Mezghiche
   c-beta-Machine with lambda-beta-Reduction. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:189, n:1-2, pp:221-228 [Journal]
   
7. Anne Bergeron
   On the Rational Behaviors of Concurrent Timers. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:189, n:1-2, pp:229-237 [Journal]
   
8. Serafino Cicerone, Francesco Parisi-Presicce
   On the Complexity of Specification Morphisms. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:189, n:1-2, pp:239-248 [Journal]