Non-commutative propositional logic with short-circuit evaluation
Bergstra, Jan A., Ponse, Alban, Staudt, Daan J. C.
Published in Journal of applied non-classical logics (02.10.2021)
Published in Journal of applied non-classical logics (02.10.2021)
Get full text
Journal Article
Preface: This issue is dedicated to Jan Bergstra on the occasion of his sixtieth birthday
Bethke, Inge, Ponse, Alban, Rodenburg, Piet H.
Published in Theoretical computer science (20.06.2011)
Published in Theoretical computer science (20.06.2011)
Get full text
Journal Article
Preface
Bethke, Inge, Ponse, Alban, Rodenburg, Piet H.
Published in Theoretical computer science (01.06.2011)
Published in Theoretical computer science (01.06.2011)
Get full text
Journal Article