Pages that link to "Item:Q5096302"

From MaRDI portal

← A confluent relational calculus for higher-order programming with constraints (Q5096302)

Jump to:navigation, search

The following pages link to A confluent relational calculus for higher-order programming with constraints (Q5096302):

Displayed 3 items.

On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) ‎ (← links)
A confluent calculus for concurrent constraint programming (Q1391935) ‎ (← links)
Models and emerging trends of concurrent constraint programming (Q2348541) ‎ (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"