Concepedia

Francesco A. Genco

FA

Statistics

Publications

2

Citations

23

H-Index

2

Active since

2017

Affiliations

TU Wien(Current)

Francesco A. Genco is an author at TU Wien specializing in mathematical reasoning, computational reasoning, and explanation of mathematical concepts.

Publications per year

2017–2021

2

Publications

2

Conceptual (and Hence Mathematical) Explanation, Conceptual Grounding and Proof

Francesca Poggiolesi, Francesco A. Genco · Erkenntnis · 2021 · 13 citations

Humanities, Mathematics, Philosophy +14

Gödel logic: from natural deduction to parallel computation

Federico Aschieri, Agata Ciabattoni, Francesco A. Genco · Logic in Computer Science · 2017 · 10 citations

Computing, Computer Science, Logic +14

1–2 of 2