PRL

Also found in: Dictionary/thesaurus, Medical, Acronyms, Wikipedia

0.03 sec.

PRL - Proof Refinement Logic.

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

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

How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Email
Feedback

? Mentioned in

? References in periodicals archive

life
Nuprl

TLAs
Wild_LIFE

PRL secretion was also blocked by nifedipine, demonstrating a correlation between [Ca.

Xenoestrogens at picomolar to nanomolar concentrations trigger ... by Watson, Cheryl S. / Environmental Health Perspectives

22 PRL, they suggest tuning the lasers so the pulse's photons interact only with atoms whose random thermal motion opposes the pulse's direction.

Light stands still in atom clouds by Weiss, P. / Science News

The ratings reflect the full enhancement from the implicit support provided by PRL.

A.M. Best Affirms Ratings of PartnerRe S.A by Business Wire

More results

Encyclopedia browser

? Full browser

Prix de Rome
Prix de Rome, Grand
prize
prize cases
prize fighting
prizefight
Prizren
PRL
PRMD
PRML
PRML technique
PRMS
PRN
PRNG
Pro*C

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.