VDict - Definition of first-order predicate calculus

search result for first-order predicate calculus in Computing (FOLDOC) dictionary

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

Knights of the Lambda-Calculus Larch PROSE symbolic logic System F relational language formula isomorphism Modular Prolog Lambda Prolog mode Green's Theorem client-server \begin call-by-need OBJ Joy alpha conversion ISWIM applicative order reduction Ironman BABEL Algebraic Logic Functional language reduction Petri net relational algebra eta conversion lazy evaluation beta abstraction De Bruijn notation Group-Sweeping Scheduling parallelism Stack Environment Control Dump machine LUCID SORCERER 100BaseVG bounce free variable Quest lambda abstraction brute force Weak Head Normal Form delta LNF Ponder gamma correction lower set cyclic redundancy check skolemisation in-order traversal dinosaur pen connective Russell's Paradox redundancy garbageabetical order go root Universal algebra hobbit natural deduction high bit Eh TrafoLa functional Order Code Processor Hamming distance Coalition for Networked Information Woodenman F-Logic Fresh Scott domain OCP post-order traversal APL2 supercompilation dogpile Forsythe leading leapfrog attack dry run boundedly complete

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