Concepedia

Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization.

Hajime Sawamura, Taku Takeshima

SLP · 1985 · 18 citations · 0 references

Concepts