The following pages link to (Q4151136):
Displaying 8 items.
- A regeneration scheme for generating extensions (Q290228) (← links)
- Mixed computation and compilation: New approaches to old problems (Q912601) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Annotated bibliography on partial evaluation and mixed computation (Q1104069) (← links)
- Mixed computation of Prolog programs (Q1108777) (← links)
- Mixed computation: potential applications and problems for study (Q1169808) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Asymptotic Speedups, Bisimulation and Distillation (Work in Progress) (Q3455068) (← links)