Journals in DBLP

J. UCS
1997, volume: 3, number: 4

1. Egon Börger
   Ten Years of Gurevich's Abstract State Machines. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:4, pp:230-232 [Journal]
   
2. Yuri Gurevich, Marc Spielmann
   Recursive Abstract State Machines. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:4, pp:233-246 [Journal]
   
3. Andreas Blass, Yuri Gurevich
   The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:4, pp:247-278 [Journal]
   
4. Scott Dexter, Patrick Doyle, Yuri Gurevich
   Gurevich Abstract State Machines and Schoenhage Storage Modification Machines. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:4, pp:279-303 [Journal]
   
5. Karl Stroetmann
   The Constrained Shortest Path Problem: A Case Study in Using ASMs. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:4, pp:304-319 [Journal]
   
6. Yuri Gurevich, Nandit Soparkar, Charles Wallace
   Formalizing Database Recovery. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:4, pp:320-340 [Journal]
   
7. Keehang Kwon
   A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:4, pp:341-376 [Journal]
   
8. Gerhard Schellhorn, Wolfgang Ahrendt
   Reasoning about Abstract State Machines: The WAM Case Study. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:4, pp:377-413 [Journal]