Volume 3, Number 1, January 1997
Volume 3, Number 2, February 1997
Jürgen F. H. Winkler
: Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types.
Volume 3, Number 3, March 1997
Volume 3, Number 4, April 1997
: Ten Years of Gurevich's Abstract State Machines.
: The Constrained Shortest Path Problem: A Case Study in Using ASMs.
: A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming.
Volume 3, Number 5, May 1997
: JUCS Special ASM Issue, Part II - Introduction.
: Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines.
: Refining an ASM Specification of the Production Cell to C++ Code.
Volume 3, Number 6, June 1997
Volume 3, Number 7, July 1997
: MONSTR II - Suspending Semantics and Independence.
: Bounds on the Performance of Work-greedy Assignment Schemes.
Volume 3, Number 8, August 1997
Simon Buckingham Shum
: Negotiating the Construction and Reconstruction of Organisational Memories.
, Andreas Abecker
: Corporate Memories for Knowledge Management in Industrial Practice: Prospects and Challenges.
Volume 3, Number 9, September 1997
: MTAC - A Multithreaded VLIW Architecture for PRAM Simulation.
: Why We Need an Explicit Forum for Negative Results.
Volume 3, Number 10, October 1997
: Optimal Description of Automatic Paperfolding Sequences.
: On N-algebraic Parikh slender power series.
Volume 3, Number 11, November 1997
: Surjective Functions on Computably Growing Cantor Sets.
: Sequential Continuity of Linear Mappings in Constructive Mathematics.
Volume 3, Number 12, December 1997
: MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property.