Computing and Comparing Semantics of Programs in Four-Valued Logics.

Yann Loyer, Nicolas Spyratos, Daniel Stamate

Browse the full MFCS paper archive.