Koinduktives Schließen

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Verfahren zur Definition und Begründung über potentiell unendliche oder zirkuläre Strukturen und Verhaltensweisen, indem diese als größte Fixpunkte von Operatoren charakterisiert werden und Eigenschaften mittels koinduktiver Annahmen wie Bisimulationen und Beobachtungen bewiesen werden.