Journals in DBLP

Information and Control
1983, volume: 56, number: 1/2

1. Gary L. Miller
   Isomorphism of k-Contractible Graphs. A Generalization of Bounded Valence and Bounded Genus [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:56, n:1/2, pp:1-20 [Journal]
   
2. Gary L. Miller
   Isomorphism of Graphs Which are Pairwise k-separable [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:56, n:1/2, pp:21-33 [Journal]
   
3. Burchard von Braunmühl, Stephen Cook, Kurt Mehlhorn, Rutger Verbeek
   The Recognition of Deterministic CFL's in Small Time and Space [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:56, n:1/2, pp:34-51 [Journal]
   
4. Martin D. Davis, Elaine J. Weyuker
   A Formal Notion of Program-Based Test Data Adequacy [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:56, n:1/2, pp:52-71 [Journal]
   
5. Pierre Wolper
   Temporal Logic Can Be More Expressive [Citation Graph (7, 0)][DBLP]
   Information and Control, 1983, v:56, n:1/2, pp:72-99 [Journal]
   
6. John Case
   Pseudo-Extending Computable Functions [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:56, n:1/2, pp:100-111 [Journal]
   
7. Albert R. Meyer, John C. Mitchell
   Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:56, n:1/2, pp:112-138 [Journal]