Pages that link to "Item:Q4365066"

The following pages link to The relationship between logic programs and specifications-the subset example revisited (Q4365066):

Displaying 1 item.

• An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)