Ferruccio Guidi

According to our database, Ferruccio Guidi authored at least 5 papers between 2003 and 2015.

Collaborative distances:

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

2015

A Survey on Retrieval of Mathematical Knowledge.

Ferruccio Guidi, Claudio Sacerdoti Coen

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

ELPI: Fast, Embeddable, λProlog Interpreter.

Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2012

Type systems for dummies.

Andrea Asperti, Ferruccio Guidi

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

2004

A Content Based Mathematical Search Engine: Whelp.

Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

2003

A Query Language for a Metadata Framework about Mathematical Resources.

Ferruccio Guidi, Irene Schena

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003