Concepedia

Ferruccio Guidi

FG

2

Publications

48

Citations

2

H-Index

2009

Active since

Affiliations

University of Bologna(Current)

Ferruccio Guidi is an author at University of Bologna specializing in automated reasoning, formal verification, and formal methods.

Top concepts

Automated ReasoningSemanticsEngineeringFormal MethodsComputer ScienceFormal VerificationKnowledge DiscoveryKnowledge RetrievalMathematics TeachingInformation Retrieval

Publications per year

2009–2016

2

Publications

2

A Survey on Retrieval of Mathematical Knowledge

Ferruccio Guidi, Claudio Sacerdoti Coen · Mathematics in Computer Science · 2016 · 38 citations

Mathematics Education, Mathematical Knowledge, Information Retrieval +4

The formal system λδ

Ferruccio Guidi · ACM Transactions on Computational Logic · 2009 · 10 citations

Engineering, Automated Reasoning, Typed λ-Calculus +11

Rows per page

1–2 of 2