In this issue

Papers published: 8

Total pages: 184

Unique views: 7175

Total views: 8976

open access

Go to issue

« Previous
Issue 3(4)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 3(4)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Ten Years of Gurevich's Abstract State ...
Editorial
Ten Years of Gurevich's Abstract State Machines
Egon Börger
10.3217/jucs-003-04
 28-04-1997
 Unique: 819 | Total: 1036
 230-232
HTML
XML
PDF
Recursive Abstract State Machines
Research Article
Recursive Abstract State Machines
Yuri Gurevich, Marc Spielmann
10.3217/jucs-003-04-0233
 28-04-1997
 Unique: 911 | Total: 1125
 233-246
HTML
XML
PDF
The Linear Time Hierarchy Theorems for ...
Research Article
The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs
Andreas Blass, Yuri Gurevich
10.3217/jucs-003-04-0247
 28-04-1997
 Unique: 816 | Total: 1029
 247-278
HTML
XML
PDF
Gurevich Abstract State Machines and ...
Research Article
Gurevich Abstract State Machines and Schoenhage Storage Modification Machines
Scott Dexter, Patrick Doyle, Yuri Gurevich
10.3217/jucs-003-04-0279
 28-04-1997
 Unique: 839 | Total: 1035
 279-303
HTML
XML
PDF
The Constrained Shortest Path Problem: ...
Research Article
The Constrained Shortest Path Problem: A Case Study in Using ASMs
Karl Strötmann
10.3217/jucs-003-04-0304
 28-04-1997
 Unique: 986 | Total: 1183
 304-319
HTML
XML
PDF
Formalizing Database Recovery
Research Article
Formalizing Database Recovery
Yuri Gurevich, Nandit Soparkar, Charles Wallace
10.3217/jucs-003-04-0320
 28-04-1997
 Unique: 875 | Total: 1125
 320-340
HTML
XML
PDF
A Structured Presentation of a Closure-Based ...
Research Article
A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming
Keehang Kwon
10.3217/jucs-003-04-0341
 28-04-1997
 Unique: 956 | Total: 1181
 341-376
HTML
XML
PDF
Reasoning about Abstract State Machines: ...
Research Article
Reasoning about Abstract State Machines: The WAM Case Study
Gerhard Schellhorn, Wolfgang Ahrendt
10.3217/jucs-003-04-0377
 28-04-1997
 Unique: 973 | Total: 1262
 377-413
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK