Federico Flaviani

According to our database, Federico Flaviani authored at least 5 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2023

Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience.

Federico Flaviani, Walter Carballosa

CLEI Electron. J., September, 2023

2022

Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras.

Federico Flaviani, Walter Carballosa

Proceedings of the XLVIII Latin American Computer Conference, 2022

2020

Criteria for Bracket Abstractions Design.

Federico Flaviani, Elias Tahhan-Bittar

Proceedings of the XLV Latin American Computer Conference - Selected Papers, 2020

2018

Inference of the Definition of the Predicate Transformer wp with Occurrences of the Predicate Domain Based on Denotational Semantics of GCL on ZF Set Theory.

Federico Flaviani

Proceedings of the XLIV Latin American Computer Conference, 2018

2017

Calculation of Invariants Assertions.

Federico Flaviani

Proceedings of the XLIII Latin American Computer Conference - Selected Papers, 2017