Lingua: Inglese
Editore: Birkhauser Verlag AG, Pisa, 1998
ISBN 10: 8876422838 ISBN 13: 9788876422836
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. 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. The subject of this thesis is the Mu-calculus, which nowadays represents a very active research area in both theoretical and practical Computer Science. On the technical respect, this thesis addresses a specific expressiveness problem of the Mu-calculus, the alternation depth hierarchy problem. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Da: Revaluation Books, Exeter, Regno Unito
EUR 22,33
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 94 pages. 9.75x6.75x0.25 inches. In Stock.
Condizione: New. 1998. 1998th Edition. paperback. . . . . . Books ship from the US and Ireland.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 35,80
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. 1998. 1998th Edition. paperback. . . . . .
EUR 24,38
Quantità: 1 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. 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(.
Lingua: Inglese
Editore: Scuola Normale Superiore Okt 1998, 1998
ISBN 10: 8876422838 ISBN 13: 9788876422836
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 29,35
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - 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.
Da: Piazza del Libro, Trebaseleghe, PD, Italia
EUR 33,00
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Ottime condizioni. copertina flessibile annerita, nessun segno all'interno Copertina flessibile: 408 pagineEditore: Viella (1 novembre 1997)Collana: Bibliografia dei manosc. in scrit. benev.Lingua: Italiano.