25 citations · 637 across the 113 of their papers we have counts for
Showing 2018 · cs.LOShow all
2 papers · 2 filters
cs.LO2018★ 5 cited
Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant
Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt
Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the v…
cs.LO2018★ 3 cited
On the complexity of the correctness problem for non-zeroness test instruction sequences
J. A. Bergstra, C. A. Middelburg
This paper concerns the question to what extent it can be efficiently determined whether an arbitrary program correctly solves a given problem. This question is investigated with p…