By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

PRL

Proof Refinement Logic.

Versions: micro-PRL, lambda-PRL, nu-PRL.

["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983].

< Previous Terms	Terms Containing PRL	Next Terms >
Private Automatic Branch eXchange Private Branch Exchange private-key cryptography Private Manual Branch eXchange privileged instruction	LIFE Nuprl PRL TLAs University of Edinburgh	PRMD PRML probabilistic probabilistic automaton Probe

Web Standards & Support: