Keywords

#fixed-point_logic

Fixed-point logic

Concept in mathematical logic

In mathematical logic, fixed-point logics are extensions of classical predicate logic that have been introduced to express recursion. Their development has been motivated by descriptive complexity theory and their relationship to database query languages, in particular to Datalog.

Mon 6th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Fixed-point logic Fixed point (mathematics) Fixed-point combinator Descriptive complexity theory Fixed-point theorem Least fixed point Logic of graphs Fixed-point arithmetic Modal μ-calculus Brouwer fixed-point theorem
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.