Concepedia

Combinatory logic programming: computing in relation calculi

Paul Broome, James Lipton

International Conference on Logic Programming · 1994 · 10 citations · 0 references

Concepts