東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Logics for Coalgebras of Finitary Se...

Sprunger, David.

FindBook

Google Book

Amazon

博客來

Logics for Coalgebras of Finitary Set Functors.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logics for Coalgebras of Finitary Set Functors./
Author:	Sprunger, David.
Published:	Ann Arbor : ProQuest Dissertations & Theses, : 2017,
Description:	114 p.
Notes:	Source: Dissertation Abstracts International, Volume: 79-01(E), Section: B.
Contained By:	Dissertation Abstracts International79-01B(E).
Subject:	Theoretical mathematics. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10621281
ISBN:	9780355215854

Logics for Coalgebras of Finitary Set Functors.
Sprunger, David.

Logics for Coalgebras of Finitary Set Functors. - Ann Arbor : ProQuest Dissertations & Theses, 2017 - 114 p.

Source: Dissertation Abstracts International, Volume: 79-01(E), Section: B.

Thesis (Ph.D.)--Indiana University, 2017.

In this thesis, we present a collection of results about coalgebras of finitary Set functors. Our chief contribution is a logic for behavioral equivalence for states in these coalgebras. This proof system is intended to formalize a common pattern of reasoning in the study of coalgebra commonly called proof by bisimulation or bisimulation up-to. The approach in this thesis combine these up-to techniques with a concept very close to bisimulation to show the proof system is sound and complete with respect to behavioral equivalence.

ISBN: 9780355215854Subjects--Topical Terms:

3173530
Theoretical mathematics.

Logics for Coalgebras of Finitary Set Functors.
LDR:01834nmm a2200325 4500 001 2155536
005 20180426091049.5
008 190424s2017 ||||||||||||||||| ||eng d
020 $a 9780355215854
035 $a (MiAaPQ)AAI10621281
035 $a (MiAaPQ)indiana:14884
035 $a AAI10621281
040 $a MiAaPQ $c MiAaPQ
100 1 $a Sprunger, David. $3 3343269
245 1 0 $a Logics for Coalgebras of Finitary Set Functors.
260 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2017
300 $a 114 p.
500 $a Source: Dissertation Abstracts International, Volume: 79-01(E), Section: B.
500 $a Adviser: Lawrence S. Moss.
502 $a Thesis (Ph.D.)--Indiana University, 2017.
520 $a In this thesis, we present a collection of results about coalgebras of finitary Set functors. Our chief contribution is a logic for behavioral equivalence for states in these coalgebras. This proof system is intended to formalize a common pattern of reasoning in the study of coalgebra commonly called proof by bisimulation or bisimulation up-to. The approach in this thesis combine these up-to techniques with a concept very close to bisimulation to show the proof system is sound and complete with respect to behavioral equivalence.
520 $a Our second category of contributions revolves around applications of coalgebra to the study of sequences and power series. The culmination of this work is a new approach to Christol's Theorem, a classic result characterizing the algebraic power series in finite characteristic rings as those whose coefficients can be produced by finite automata.
590 $a School code: 0093.
650 4 $a Theoretical mathematics. $3 3173530
650 4 $a Mathematics. $3 515831
650 4 $a Logic. $3 529544
690 $a 0642
690 $a 0405
690 $a 0395
710 2 $a Indiana University. $b Mathematics. $3 1036206
773 0 $t Dissertation Abstracts International $g 79-01B(E).
790 $a 0093
791 $a Ph.D.
792 $a 2017
793 $a English
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=10621281