Found 1 hit - Term: linear logic, Database: *, Strategy: prefix
- [1] : The Free On-line Dictionary of Computing (27 SEP 03)
linear logic
a logic invented by girard in 1987 that can be used
in proofs related to resource usage.
http://www.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
see also:
logic lt;http://www.brics.dk/ls/96/6/brics-ls-96-6/brics-ls-96-6.htmlgt;
Results 1 - 1 of 1 found about linear logic: Boolean Logic
>> B Words
Boolean Logic, definition of term: Boolean Logic
boolean+logic_pag1.html
Last accessed:2008/09/08 06:59:59 [Total processing time: 0 seconds]
|
