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