Concepedia

A finitary version of the calculus of partial inductive definitions

Lars-Henrik Eriksson

1992 · 17 citations · 0 references

Open access

Concepts

Natural SciencesComputer ScienceMathematicsAlgebraFormal MethodsTheory Of ComputationInductive ReasoningMathematical InductionModel TheoryRecursion TheoryTransfinite InductionInduction PrinciplesInduction SchemesInductive DefinitionsInductive ProofsPartial Recursive Functions