[图书][B] Rudiments of calculus

2001 - books.google.com
This book presents what in our opinion constitutes the basis of the theory of the mu-calculus,
considered as an algebraic system rather than a logic. We have wished to present the …

[引用][C] Rudiments of μ-calculus

A Arnold, D Niwiński - (No Title) - cir.nii.ac.jp
Rudiments of μ-calculus | CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ
] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本をさがす 日本の博士 …

[引用][C] Rudiments of [mu]-calculus

A Arnold, D Niwinski - 2001 - digital.library.tu.ac.th

[引用][C] Rudiments of μ-Calculus

A Arnold, D Niwiński - Elsevier

[引用][C] Rudiments of μ-Calculus

A Arnold, D Niwiński - Elsevier