close
1.

電子ブック

EB
Derek F. Holt, University of Warwick, Sarah Rees, University of Newcastle upon Tyne, Claas E. Röver, National University of Ireland, Galway
出版情報:   1 online resource (xi, 294 pages)
シリーズ名: London Mathematical Society student texts ; 88
所蔵情報: loading…
2.

電子ブック

EB
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
所蔵情報: loading…
目次情報: 続きを見る
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:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼