Nathan Temple

According to our database, Nathan Temple authored at least 1 paper in 2023.

Collaborative distances:

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

2023

External Behavior of a Logic Program and Verification of Refactoring.

Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple

Theory Pract. Log. Program., July, 2023