PRL
Technology Dictionary
-> PRL
Search:
PRL
Proof Refinement Logic.
Versions: micro-PRL, lambda-PRL, nu-PRL.
["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983].
(1995-01-24)
©
Art Branch Inc.
SQL Tutorial