VDict - Definition of inductive definition

search result for inductive definition in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

RRS METAL formal argument domain-specific language humma elegant initialise IDL instruction set architecture ADELE Best Fit Systems Network Architecture Wide SCSI Express HP-UX bound variable Adventure Definition Language Data Manipulation Language SQL Peano arithmetic Vienna Development Method FORTH frob Data definition language Text Encoding Initiative System V Interface Description Language Abstract-Type and Scheme-Definition Language enumerated type Eiffel source checker Systems Analysis Definition continuous function programming language Ellie supercomputer belief revision computability theory Extended Self-containing Prolog metre SCSI-2 tree dd Domain Analysis ALGOL 68 Church-Rosser Theorem domain model recursion Mesa Modula-2 Ada/Ed RFC 1123 ANSI Z39.50 abduction database pattern matching powerdomain applet Animated GIF open source C preprocessor fractal PowerOpen Environment random object-oriented database Capabilities Maturity Model grammar rl cybernetics domain theory SDL On-Line Analytical Processing Coordinated Universal Time logical relational database Backus-Naur Form referential transparency copyright Eiffel Turing Machine European Computer-Industry Research Centre GmbH

First < Previous 1 2 3 Next > Last