Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations.

Sean Kristian Remond Harbo, Hans Httel

Browse the full PEPM paper archive.