Pages that link to "Item:Q2785674"

The following pages link to Adding metatheoretic facilities to first-order theories (Q2785674):

Displaying 1 item.

• Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)