Leroy Adams

According to our database, Leroy Adams authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Constructive Negation Under the Well-Founded Semantics.

Julie Yu-Chih Liu, Leroy Adams, Weidong Chen

J. Log. Program., 1999