Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1901.09127
Cited By
v1
v2
v3 (latest)
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
26 January 2019
Yuliya Lierler
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs"
Title
No papers
