Joachim Parrow:
Structural and Behavioural Equivalences of Networks.
58-90
Leszek Pacholski, Wieslaw Szwast:
A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality.
91-103
Jan Kuper:
An Axiomatic Theory for Partial Functions.
104-150
Nils Klarlund, Fred B. Schneider:
Proving Nondeterministically Specified Safety Properties Using Progress Measures.
151-170
