slovodefinícia
linear logic
(foldoc)		linear logic

A logic invented by Girard in 1987 that can be used
in proofs related to resource usage.

(http://brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html).

[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM
Conference, 1991].

[Summary?]

(2003-05-02)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4