Issue 12

Submission Procedure

Submission Procedure

Board of Editors

Articles by Topics

Articles by Author

Geographical Mashup

Printed Publications

Volume 17 (2011)

Volume 16 (2010)

Volume 15 (2009)

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Collection of other papers

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