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

Content of Issue 5
DOI: 10.3217/jucs-012-05
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