Pages that link to "Item:Q3129506"

The following pages link to {log}: A language for programming in logic with finite sets (Q3129506):

Displaying 3 items.

• A necessary condition for constructive negation in constraint logic programming (Q294756) (← links)
• Set graphs. IV. Further connections with claw-freeness (Q400530) (← links)
• Logic programming with infinite sets (Q812390) (← links)