VDict - Definition of linear logic

search result for linear logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

Andorra-I white box testing interpolation QLOG real estate Leda Strand applicative language transistor backward chaining deductive database gate BeBOP Standard ML of New Jersey Generic Expert System Tool Polka ones complement Qu-Prolog ALLIANCE twos complement Andorra Kernel Language proof complement intelligent backtracking bound variable PowerPC 601 Stone Age green lightning content addressable memory MLISP Oz G guard incremental constraint solver Z machine cycle BinProlog formula modal latch DACTL SPEC CINT92 digital audio presence detect POOL2 DeMorgan's theorem induction LPG Active Reconfiguring Message combinator flip-flop sound fork bomb \begin CORAL declarative language race condition Lorenz attractor fix Stephen Kleene VULCAN memory leak Janus exception definitional constraint programming Advanced Micro Devices, Inc.JK flip-flop symbolic inference for loop Q Amulet scan path ALLOY backtracking Quantum-dot Cellular Automata High Performance Serial Bus Infinite Monkey Theorem Octave time bomb Goffin

First < Previous 1 2 3 4 5 6 Next > Last