External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

External Behavior of a Logic Program and Verification of Refactoring

Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple. External Behavior of a Logic Program and Verification of Refactoring. TPLP, 23(4):933-947, July 2023. [doi]

Authors

Jorge Fandinno

This author has not been identified. Look up 'Jorge Fandinno' in Google

Zachary Hansen

This author has not been identified. Look up 'Zachary Hansen' in Google

Yuliya Lierler

This author has not been identified. Look up 'Yuliya Lierler' in Google

Vladimir Lifschitz

This author has not been identified. Look up 'Vladimir Lifschitz' in Google

Nathan Temple

This author has not been identified. Look up 'Nathan Temple' in Google
runs on