Journals in DBLP

Information and Control
1983, volume: 57, number: 2/3

1. Larry J. Stockmeyer
   Optimal Orientations of Cells in Slicing Floorplan Designs [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:57, n:2/3, pp:91-101 [Journal]
   
2. William G. Golson, William C. Rounds
   Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:57, n:2/3, pp:102-124 [Journal]
   
3. Ursula Goltz, Wolfgang Reisig
   The Non-sequential Behavior of Petri Nets [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:57, n:2/3, pp:125-147 [Journal]
   
4. Mitchell Wand
   Loops in Combinator-Based Compilers [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:57, n:2/3, pp:148-164 [Journal]
   
5. L. Csirmaz
   On the Strength of ``Sometimes'' and ``Always'' in Program Verification [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:57, n:2/3, pp:165-179 [Journal]
   
6. Etienne Grandjean
   Complexity of the First-Order Theory of Almost All Finite Structures [Citation Graph (5, 0)][DBLP]
   Information and Control, 1983, v:57, n:2/3, pp:180-204 [Journal]
   
7. Antonio Restivo, Christophe Reutenauer
   Some Applications of a Theorem of Shirshov to Language Theory [Citation Graph (0, 0)][DBLP]
   Information and Control, 1983, v:57, n:2/3, pp:205-213 [Journal]