JUCS - Journal of Universal Computer Science 3

In this issue

Papers published: 8

Total pages: 188

Unique views: 3191

Total views: 3783

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: 371 | Total: 423

230-232

Research Article

Recursive Abstract State Machines

Yuri Gurevich, Marc Spielmann

10.3217/jucs-003-04-0233

28-04-1997

Unique: 417 | Total: 479

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: 405 | Total: 475

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: 354 | Total: 427

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: 456 | Total: 522

304-319

Research Article

Formalizing Database Recovery

Yuri Gurevich, Nandit Soparkar, Charles Wallace

10.3217/jucs-003-04-0320

28-04-1997

Unique: 372 | Total: 452

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: 407 | Total: 472

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: 409 | Total: 533

377-413

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

OK

Web Analytics