Rudiments of μ-calculus

>> Google Books

所蔵情報QRコード

Rudiments of μ-calculus / edited by A. Arnold, D. Niwiński

資料種別:

電子ブック

出版情報:

Elsevier : Amsterdam, c2019

形態:

1 online resource (xi, 277 p.)

シリーズ名:

Studies in logic and the foundations of mathematics ; v. 146

著者名:

ISBN:

9780444506207 [0444506209] (: electronic bk)

書誌ID:

TT00017783

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

Rudiments of mu-calculus

注記:

"First edition 2001"--Copyright page
Includes bibliographical references (p. [269]-273) and index
Description based on online resource; title from digital title page (viewed on November 25, 2019)

主題:

Algebraic logic; Fixed point theory; Lattice theory; Machine theory; Monotonic functions

言語:

英語

目次情報:

Complete lattices and fixed-point theorems / 1：

The mu-calculi: Syntax and semantics / 2：

The Boolean mu-calculus / 3：

Parity Games / 4：

The mu-calculus on words / 5：

The mucalculus over powerset al.gebras / 6：

The mu-calculus versus automata / 7：

Hierachy problems / 8：

Distributivity and normal form results / 9：

Decision problems / 10：

Algorithms / 11：

Complete lattices and fixed-point theorems / 1：

The mu-calculi: Syntax and semantics / 2：

The Boolean mu-calculus / 3：

Parity Games / 4：

The mu-calculus on words / 5：

The mucalculus over powerset al.gebras / 6：

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Rudiments of μ-calculus Arnold, AndrÃ, Arnold, A., Niwinski, D. Elsevier ScienceDirect Books Complete, Elsevier	7 電子ブック Mathematical Foundations of Computer Science 2009 Hutchison, David, Kanade, Takeo, Kittler, Josef, Niwinski, Damian SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 図書 Strukturforschung = Structural research Guinier, André, Flügge, Siegfried Springer-Verlag	8 図書 CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings (: gw ; : us) Colloquium on Trees in Algebra and Programming, Arnold, André, 1945- Springer-Verlag
3 図書 A calculus of communicating systems (: gw ; : us) Milner, Robin, 1934- Springer-Verlag	9 図書 Loewner's theorem on monotone matrix functions Simon, Barry Springer
4 図書 Free lattices Freese, Ralph S., 1946-, Ježek, Jaroslav, 1945-, Nation, J. B. (James Bryant), 1948- American Mathematical Society	10 図書 Monotone matrix functions and analytic continuation (: gw ; : us) Donoghue, William F., 1921- Springer
5 図書 Algebras, lattices, varieties (v. 1) McKenzie, Ralph N., McNulty, George F., 1945-, Taylor, Walter F., 1940- Wadsworth & Brooks/Cole Pub. Co.	11 図書 Monotone dynamical systems : an introduction to the theory of competitive and cooperative systems (: [pbk]) Smith, Hal L. American Mathematical Society
6 図書 Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday Middeldorp, Aart, 1963-, Klop, J. W. (Jan Willem), 1945- Springer	12 図書 An algebraic introduction to mathematical logic (: us ; : gw) Barnes, D. W. (Donald W.), 1935-, Mack, J. M. Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12