bn:03452855n
Noun Concept
IT
μ-calcolo  mu-calcolo
EN
In theoretical computer science, the modal μ-calculus is an extension of propositional modal logic by adding the least fixed point operator μ and the greatest fixed point operator ν, thus a fixed-point logic. Wikipedia
Relations
Sources
Wikidata
Wikidata Alias