In this issue

Papers published: 8

Total pages: 188

Unique views: 4651

Total views: 5723

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: 543 | Total: 644  | 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: 597 | Total: 707  | 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: 565 | Total: 698  | 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: 524 | Total: 650  | 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: 610 | Total: 738  | 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: 555 | Total: 700  | 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: 634 | Total: 755  | 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: 623 | Total: 831  | Access Period:
 377-413
HTML
XML
PDF

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

OK