Pages that link to "Item:Q1318281"

The following pages link to A functional logic for higher level reasoning about computation (Q1318281):

Displaying 2 items.

• The completeness of functional logic (Q1318282) (← links)
• Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)