An incremental mechanical development of systolic solutions to the Algebraic Path Problem Chua-Huang HuangChristian Lengauer OriginalPaper Pages: 97 - 124
Step failures semantics and a complete proof system Dirk TaubnerWalter Vogler OriginalPaper Pages: 125 - 156
Some efficient computational algorithms related to phase models Vernon Rego OriginalPaper Pages: 157 - 177
HDTOL matching of computations of multitape automata Karel Culik IIJuhani Karhumäki OriginalPaper Pages: 179 - 191
