6 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Juan Michelini, Alvaro Tasistro
We propose a presentation of classical propositional tableaux elaborated by application of methods that are noteworthy in program design, namely program derivation with separation…