meaning of prl

1. PRL Proof Refinement Logic. Versions: micro-PRL, lambda-PRL, nu-PRL. ["PRL: Proof Refinement Logic Programmers Manual", CS Dept, Cornell, 1983].

Related Words

prl |

Developed & Maintained By Taraprasad.com