Journals in DBLP

Inf. Comput.
1987, volume: 72, number: 1

1. Carl A. Gunter
   Universal Profinite Domains [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1987, v:72, n:1, pp:1-30 [Journal]
   
2. Hajnal Andréka, Irène Guessarian, István Németi
   A Unifying Theorem for Algebraic Semantics and Dynamic Logics [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1987, v:72, n:1, pp:31-45 [Journal]
   
3. Satish Thatte
   A Refinement of Strong Sequentiality for Term Rewriting with Constructors [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1987, v:72, n:1, pp:46-65 [Journal]
   
4. Amihood Amir, Dov M. Gabbay
   Preservation of Expressive Completeness in Temporal Models [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1987, v:72, n:1, pp:66-83 [Journal]