Issue 5

Submission Procedure

User: anonymous

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)

Articles by Topics

Articles by Author

Board of Editors

Submission Procedure

Printed Publications

Collection of other papers

Content of Issue 5
Managing Editor's Column	H. Maurer	481
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata	D. Drusinsky	482
Reversible Karatsuba's Algorithm	L.A.B. Kowada, R. Portugal, C.M. Herrera de Figueiredo	499
About an Algorithmic Approach to Tilings {p,q} of the Hyperbolic Plane	M. Margenstern	512
Completeness in the Boolean Hierarchy: Exact-Four-Colorability, Minimal Graph Uncolorability, and Exact Domatic Number Problems - a Survey	T. Riege, J. Rothe	551