Defining New Notions

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, Linz, Austria
  • Mastering Complexity
  • Theory
  • Extending Theories
  • Explicit Predicate Definitions
  • Natural Language
  • Examples
  • Examples
  • Constrained Predicate Definitions
  • Example
  • Explicit Function Definitions
  • Example
  • Conditional Function Definitions
  • Conditional Terms and Formulas
  • Example
  • Constrained Function Definitions
  • Example
  • Implicit Function Definitions
  • Such Quantifier
  • Example
  • Example
  • Unique Implicit Function Definitions
  • Example
  • Explicit Definitions
  • Recursive Definitions
  • Example
  • Example
  • Example
  • Logic Evaluator
  • Logic Evaluator
  • Summary
    • Author: Wolfgang Schreiner
    Last Modification: October 14, 1999
    [Up] [RISC-Linz] [University] [Search]