VDict - Definition of inductive definition

search result for inductive definition in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

integer inductive relation Vienna Definition Language ADL ML Kit SDF Open Source Definition Document Type Definition logical relation recursive definition single static assignment guard CDL grammatical inference inductive inference General Recursion Theorem Boolean algebra domain engineering crosstalk noise PL/I ORKID ASDL ECIP2 Interface Definition Language GDMO SVID HDTV Fortran IV redex Modula-P IDEF SAD VDL DTD OSD X.409 VDM effective number of bits SDS SMoLCS System V Interface Definition quality SFL Schema Definition Set CP HERAKLIT recursion theory IRDS POOL-T MODEF hue CORAL 66 Open Source Initiative sublanguage choke Delta-4 Resource Description Framework NDL Modula-3pi Network Definition Language Gypsy condela Vlisp Purple Book String PRocessING language Vienna Definition Method Common Object Request Broker Architecture gorets Napier HASL Screamer Mode cproto EULER cognitive architecture instance Ease lattice DDL

First < Previous 1 2 3 Next > Last