VDict - Definition of linear logic

search result for linear logic in Computing (FOLDOC) dictionary

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

Pandora Gottlob Frege Boolean logic simplex method GAPLog SFLV PRL Parlog metalanguage AND Echidna assignment problem fact IC-Prolog Goedel FUNLOG LEAF CELP glue Sequential Parlog Machine CLP(sigma*)paraconsistent probability neutrosophic probability model checking tautological probability Charme LIFE channel service unit Isabelle Transistor-Transistor Logic combinatory logic George Boole TABLOG APPLOG fuzzy logic HiLog three-tier Xilinx, Inc.LINPACK Xilinx Netlist Format EPILOG tautological set asynchronous logic Wild_LIFE ELP A'UM Constraint Logic Programming Parlog++PAL logic gate logic programming instantiation Neutrosophy neutrosophic set scan design chaos abduction unification horizontal encoding central processing unit constructive Interest Group in Pure and Applied Logics algebra vertical encoding Triton LIMDEP JAZELLE DL/1 Trilogy Laboratory INstrument Computer eigenvalue CLV LGN DLT scan register UHELP LERP handwave Digital Audio Tape Subset-Equational Language

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