Forcing, Transition Algebras, and Calculi.

Hashimoto Go, Daniel Gaina, Ionut Tutu

Browse the full ICALP paper archive.