In this issue

Papers published: 8

Total pages: 188

Unique views: 4703

Total views: 5822

open access

Go to issue

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

Download
Ten ...
Editorial
Ten Years of Gurevich's Abstract State Machines
Egon Börger
10.3217/jucs-003-04
 28-04-1997
 Unique: 545 | Total: 652  | Access Period:
 230-232
HTML
XML
PDF
Recursive ...
Research Article
Recursive Abstract State Machines
Yuri Gurevich, Marc Spielmann
10.3217/jucs-003-04-0233
 28-04-1997
 Unique: 600 | Total: 715  | Access Period:
 233-246
HTML
XML
PDF
The ...
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: 568 | Total: 705  | Access Period:
 247-278
HTML
XML
PDF
Gurevich ...
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: 526 | Total: 656  | Access Period:
 279-303
HTML
XML
PDF
The ...
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: 613 | Total: 745  | Access Period:
 304-319
HTML
XML
PDF
Formalizing ...
Research Article
Formalizing Database Recovery
Yuri Gurevich, Nandit Soparkar, Charles Wallace
10.3217/jucs-003-04-0320
 28-04-1997
 Unique: 560 | Total: 712  | Access Period:
 320-340
HTML
XML
PDF
A ...
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: 664 | Total: 798  | Access Period:
 341-376
HTML
XML
PDF
Reasoning ...
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: 627 | Total: 839  | Access Period:
 377-413
HTML
XML
PDF

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

OK