Pages that link to "Item:Q2841287"

The following pages link to Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrad (Q2841287):

Displaying 2 items.

• A Fully Abstract Semantics for Constructor Systems (Q3636832) (← links)
• Singular and plural functions for functional logic programming (Q5410261) (← links)