Mohlo by sa vám tiež páčiť

Viac informácií o knihe The mu-calculus and the hierarchy problem

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 52 bodov

Anotácia 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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Applied mathematics

• Celý názov: The mu-calculus and the hierarchy problem
• Autor: Giacomo Lenzi
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 94
• EAN: 9788876422836
• ISBN: 8876422838
• ID: 01967752
• Nakladateľ: Springer, Berlin
• Hmotnosť: 227 g
• Rozmery: 240 × 168 × 8 mm
• Rok vydania: 1998

Obľúbené z iného súdka

---

---

---