Journals in DBLP

Inf. Comput.
1996, volume: 124, number: 2

1. Douglas J. Howe
   Proving Congruence of Bisimulation in Functional Programming Languages. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:124, n:2, pp:103-112 [Journal]
   
2. Chun-Kuen Ho
   Beyond Recursive Real Functions. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:124, n:2, pp:113-126 [Journal]
   
3. Rachel Ben-Eliyahu, Menachem Magidor
   A Temporal Logic for Proving Properties of Topologically General Executions. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:124, n:2, pp:127-144 [Journal]
   
4. Campbell Fraser, Robert W. Irving, Martin Middendorf
   Maximal Common Subsequences and Minimal Common Supersequences. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:124, n:2, pp:145-153 [Journal]
   
5. Alexander Moshe Rabinovich
   On Schematological Equivalence of Dataflow Networks. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:124, n:2, pp:154-167 [Journal]
   
6. Hsu-Chun Yen
   On the Regularity of Petri Net Languages. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:124, n:2, pp:168-181 [Journal]
   
7. Abbas Edalat
   Power Domains and Iterated Function Systems. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:124, n:2, pp:182-197 [Journal]