Alberto Bottoni

According to our database, Alberto Bottoni authored at least 3 papers between 1993 and 1995.

Collaborative distances:

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

1995

Analysis of SLDNF for Local CLP.

Alberto Bottoni

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1993

The Inverse of Fitting's Functional.

Alberto Bottoni, Giorgio Levi

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Computing in the Completion.

Alberto Bottoni, Giorgio Levi

Proceedings of the 8th Italian Conference on Logic Programming, 1993