Pages that link to "Item:Q3694655"
From MaRDI portal
The following pages link to Notes on the implementation of PARLOG (Q3694655):
Displaying 4 items.
- Transforming generate-and-test programs to execute under committed-choice AND-parallelism (Q914360) (← links)
- Making exhaustive search programs deterministic (Q1094889) (← links)
- An abstract machine for the implementation of PARLOG on uniprocessors (Q1115584) (← links)
- Semantic models for concurrent logic languages (Q1177921) (← links)