Mohlo by se vám také líbit

Více informací o knize The mu-calculus and the hierarchy problem

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 49 bodů

Anotace knihy

The subject of this thesis is the Mu-calculus, which nowadays represents a very active research area in both theoretical and practical Computer Science. The Mu-calculus is a logic capable of expressing least and greatest solutions of fixpoint equations x=f(x), where f is a monotone function mapping some complete ordered set into itself. The thesis has two goals, one expository and one technical. The expository goal is to present some results and problems about the Mu-calculus. On the technical respect, this thesis addresses a specific expressiveness problem of the Mu-calculus, the alternation depth hierarchy problem.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Applied mathematics

• Plný název: The mu-calculus and the hierarchy problem
• Autor: Giacomo Lenzi
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 94
• EAN: 9788876422836
• ISBN: 8876422838
• ID: 01967752
• Nakladatelství: Springer, Berlin
• Hmotnost: 227 g
• Rozměry: 240 × 168 × 8 mm
• Rok vydání: 1998

Oblíbené z jiného soudku

---

---

---