JUCS - Journal of Universal Computer Science 3

In this issue

Papers published: 8

Total pages: 188

Unique views: 3942

Total views: 4739

open access

Go to issue

Issue 3(4)

Next »

JUCS - Journal of Universal Computer Science 3(4) (1997)

Select: All None

Download:

Citation

XML

PDF

Editorial

Ten Years of Gurevich's Abstract State Machines

Egon Börger

10.3217/jucs-003-04

28-04-1997

Unique: 462 | Total: 535

230-232

Research Article

Recursive Abstract State Machines

Yuri Gurevich, Marc Spielmann

10.3217/jucs-003-04-0233

28-04-1997

Unique: 510 | Total: 592

233-246

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: 500 | Total: 595

247-278

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: 446 | Total: 535

279-303

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: 540 | Total: 635

304-319

Research Article

Formalizing Database Recovery

Yuri Gurevich, Nandit Soparkar, Charles Wallace

10.3217/jucs-003-04-0320

28-04-1997

Unique: 476 | Total: 584

320-340

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: 481 | Total: 567

341-376

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: 527 | Total: 696

377-413

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

OK

Web Analytics