Pages that link to "Item:Q987828"
From MaRDI portal
The following pages link to Strong equivalence of logic programs under the infinite-valued semantics (Q987828):
Displaying 5 items.
- Equivalence of two fixed-point semantics for definitional higher-order logic programs (Q512650) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)
- Infinitary Equilibrium Logic and Strong Equivalence (Q3449222) (← links)
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs (Q6063883) (← links)