Journals in DBLP

Inf. Comput.
1993, volume: 107, number: 1

1. Michael T. Goodrich, Mikhail J. Atallah, Mark H. Overmars
   Output-Sensitive Methods for Rectilinear Hidden Surface Removal [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:107, n:1, pp:1-24 [Journal]
   
2. Peter W. O'Hearn, Robert D. Tennent
   Semantical Analysis of Specification Logic, 2 [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:107, n:1, pp:25-57 [Journal]
   
3. Joachim Parrow
   Structural and Behavioural Equivalences of Networks [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:107, n:1, pp:58-90 [Journal]
   
4. Leszek Pacholski, Wieslaw Szwast
   A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:107, n:1, pp:91-103 [Journal]
   
5. Jan Kuper
   An Axiomatic Theory for Partial Functions [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:107, n:1, pp:104-150 [Journal]
   
6. Nils Klarlund, Fred B. Schneider
   Proving Nondeterministically Specified Safety Properties Using Progress Measures [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1993, v:107, n:1, pp:151-170 [Journal]