Czech Modální μ-kalkulus Cited by user Tom9el3 on 12 Feb 2024 V teoretické informatice modální μ-kalkulus ( Lμ, L μ, někdy jen μ-kalkulus) označuje rozšíření výrokové modální logiky (s více modalitami).
Spanish Factorización de polinomios sobre cuerpos finitos Cited by user Wiki LIC on 09 May 2021 En matemáticas y cálculo simbólico la factorización de un polinomio consiste en descomponerlo en un producto de factores irreducibles.
English Modal μ-calculus Cited by user Dodecamino on 10 Jun 2020 In theoretical computer science, the modal μ-calculus (Lμ, Lμ, sometimes just μ-calculus, although this can have a more general meaning) is an extension of propositional…
English Complete (complexity) Cited by user Citation bot on 05 Dec 2019 In computational complexity theory, a computational problem is complete for a complexity class if it is, in a technical sense, among the "hardest" (or "most expressive"…