Model-Theoretic Forcing in Transition Algebra.

Hashimoto Go, Daniel Gaina

Browse the full MFCS paper archive.