Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Düntsch, Ivo Heftet / 2022 / Engelsk
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Düntsch, Ivo Innbundet / 2021 / Engelsk
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers MacCaull Wendy Heftet / 2006 / Engelsk
