|
Journals in DBLP
- Maciej Koutny, Eike Best
Operational and Denotational Semantics for the Box Algebra. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:1-83 [Journal]
- George M. Reed, A. W. Roscoe
The Timed Failures-Stability Model for CSP. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:85-127 [Journal]
- Matthew Stone
Representing Scope in Intuitionistic Deductions. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:129-188 [Journal]
- Yong Sun
An Algebraic Generalization of Frege Structures-Binding Algebras. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:189-232 [Journal]
- A. S. Troelstra
From Constructivism to Computer Science. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:233-252 [Journal]
- Rajeev Alur, Limor Fix, Thomas A. Henzinger
Event-Clock Automata: A Determinizable Class of Timed Automata. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:253-273 [Journal]
- Marco Comini, Maria Chiara Meo
Compositionality Properties of SLD-Derivations. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:275-309 [Journal]
- Joost Engelfriet, Tjalling Gelsema
Multisets and Structural Congruence of the pi-Calculus with Replication. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:311-337 [Journal]
- Luca Aceto, Jan Friso Groote
A Complete Equational Axiomatization for MPA with String Iteration. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:339-374 [Journal]
- Roel Bloo, Herman Geuvers
Explicit Substitution On the Edge of Strong Normalization. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:375-395 [Journal]
- Chantal Berline, Klaus Grue
A kappa-Denotational Semantics for Map Theory in ZFC+SI. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:397-398 [Journal]
|