Predicative methodology Eric C. R. HehnerLorene E. GuptaAndrew J. Malton OriginalPaper Pages: 487 - 505
A logic for the specification and proof of regular controllable processes of CCS Susanne GrafJoseph Sifakis OriginalPaper Pages: 507 - 527
Generating binary trees of bounded height C. C. LeeD. T. LeeC. K. Wong OriginalPaper Pages: 529 - 544
On the equivalence of some transductions involving letter to letter morphisms on regular languages Yael Maon OriginalPaper Pages: 585 - 596
Synchronizable deterministic pushdown automata and the decidability of their equivalence Karel Culik IIJuhani Karhumäki OriginalPaper Pages: 597 - 605