Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jørgen Staunstrup
A Description of the RIKKE 1 System
DAIMI Report Series
Related publications
Evolutionary System for Data Processing. Volume 1. System Description
A Tool for Health System Description. Diagnosing the Polish System
Zdrowie Publiczne i Zarządzanie
A Short Description of a Translator-Writing System (BOBS-System)
DAIMI Report Series
System Description: The Proof Transformation System CERES
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The RANTANPLAN Planner: System Description
Knowledge Engineering Review
Artificial Intelligence
Software
Biomathematical System of the Nucleic Acids Description
Computer Research and Modeling
Computational Theory
Simulation
Computer Science Applications
Modeling
Mathematics
RACER System Description
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Exercise in Formalizing the Description of a Concurrent System
Software - Practice and Experience
Software
COSMIC System Description
Terrestrial, Atmospheric and Oceanic Sciences
Earth
Atmospheric Science
Planetary Sciences
Oceanography
