Sorry, we do not have enough data to show an influence graph for this author.
- Full text PDF available (1)
- This year (0)
- Last five years (1)
We propose a presentation of classical propositional tableaux elaborated by application of methods that are noteworthy in program design, namely program derivation with separation of concerns. We start by deriving from a straightforward specification an algorithm given as a set of recursive equations for computing all models of a finite set of formulae.… (More)