Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 6

Content of Issue 12
DOI: 10.3217/jucs-006-12
Managing Editor's Column H. Maurer 1164
Grammar Systems with Negated Conditions in their Cooperation Protocols H. Bordihn, M. Holzer 1165
Incompleteness in Linear Time S. Caporaso, G. Pani, E. Covino 1185
Active Documents: Concept, Implementation and Applications E. Heinrich, H. Maurer 1197
Some Elements of Z Specification Style: Structuring Techniques A. MacDonald, D. Carrington 1203
New Tools for Cellular Automata in the Hyperbolic Plane M. Margenstern 1226