Pages that link to "Item:Q4870068"

The following pages link to Simultaneous Replacement in Normal Programs (Q4870068):

Displaying 3 items.

• A semantics for modular general logic programs (Q1274967) (← links)
• Totally correct logic program transformations via well-founded annotations (Q2271905) (← links)
• BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS (Q3021960) (← links)