Muhamed Abo-Zaed

According to our database, Muhamed Abo-Zaed authored at least 1 paper in 2000.

Collaborative distances:

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

2000

A simple polynomial groundness analysis for logic programs.

Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King

J. Log. Program., 2000