P. Bocchetti

According to our database, P. Bocchetti authored at least 1 paper in 1986.

Collaborative distances:

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

1986

Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.

C. Aquilano, Roberto Barbuti, P. Bocchetti, Maurizio Martelli

J. Autom. Reason., 1986