Pages that link to "Item:Q2851269"

The following pages link to On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Q2851269):

Displaying 2 items.

• Logic programming as classical inference (Q898781) (← links)
• On equivalence of infinitary formulas under the stable model semantics (Q4592970) (← links)