Author:Luís Cruz-Filipe
KeyphrasesBoolean Pythagorean Triples problem, Certified implementation, Choreographic Programming, constraint solving, distributed protocols, formal proofs, interactive theorem proving, program optimization, satisfiability, sorting networks, theorem proving. |