Nathan Temple

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Inside Outside Algorithm

Top Venues

Theory Pract. Log. Program.

Publications

Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
External Behavior of a Logic Program and Verification of Refactoring. CoRR (2023)
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple
External Behavior of a Logic Program and Verification of Refactoring. Theory Pract. Log. Program. 23 (4) (2023)