The following pages link to (Q3994465):
Displaying 6 items.
- GHC (Q35532) (← links)
- A parallel parsing system for natural language analysis (Q580997) (← links)
- Transforming generate-and-test programs to execute under committed-choice AND-parallelism (Q914360) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Finite failures and partial computations in concurrent logic languages (Q915476) (← links)
- A declarative semantics of flat guarded Horn clauses for programs with perpetual processes (Q915481) (← links)