HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Luís Cruz-Filipe

Publications
Keep me out of the loop: a more flexible choreographic projection
Luís Cruz-Filipe, Fabrizio Montesi and Robert R. Rasmussen
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Formally Proving the Boolean Pythagorean Triples Conjecture
Luís Cruz-Filipe and Peter Schneider-Kamp
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

Boolean Pythagorean Triples problem, Certified implementation, Choreographic Programming, distributed protocols, formal proofs, interactive theorem proving, theorem proving.

Copyright © 2012-2023 easychair.org. All rights reserved.