Federico Flaviani

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 5

Top Topics

Moment Invariants

Propositional Logic

Top Venues

CLEI Selected Papers

CLEI Electron. J.

Publications

Federico Flaviani, Walter Carballosa
Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience. CLEI Electron. J. 26 (2) (2023)
Federico Flaviani, Walter Carballosa
Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras. CLEI (2022)
Federico Flaviani, Elias Tahhan-Bittar
Criteria for Bracket Abstractions Design. CLEI Selected Papers (2020)
Federico Flaviani
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. CLEI (2018)
Federico Flaviani
Calculation of Invariants Assertions. CLEI Selected Papers (2017)