HOME > 상세정보

상세정보

Automata, logics, and infinite games

Automata, logics, and infinite games

자료유형
단행본
개인저자
Gra@del, Erich 1958- Thomas, Wolfgang 1947- Wilke, Thomas 1965-
서명 / 저자사항
Automata, logics, and infinite games / Erich Gra@del, Wolfgang Thomas, Thomas Wilke (eds.).
발행사항
Berlin ;   New York :   Springer ,   2002.  
형태사항
viii, 385 p. : ill. ; 24 cm.
총서사항
Lecture notes in computer science ; 2500
ISBN
3540003886 (alk. paper)
서지주기
Includes bibliographical references (p. [365]-376) and index.
일반주제명
Computer science -- Mathematics. Machine theory. Logic, Symbolic and mathematical. Game theory.
000 01049camuu22003014a 4500
001 000045133732
005 20041125140230
008 021209s2002 gw a b 001 0 eng
010 ▼a 2002044587
020 ▼a 3540003886 (alk. paper)
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
042 ▼a pcc
050 0 0 ▼a QA76.9.M35 ▼b A85 2002
082 0 0 ▼a 004/.01/51 ▼2 21
090 ▼a 004.0151 ▼b A939
245 0 0 ▼a Automata, logics, and infinite games / ▼c Erich Gra@del, Wolfgang Thomas, Thomas Wilke (eds.).
260 ▼a Berlin ; ▼a New York : ▼b Springer , ▼c 2002.
300 ▼a viii, 385 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a Lecture notes in computer science ; ▼v 2500
504 ▼a Includes bibliographical references (p. [365]-376) and index.
650 0 0 ▼a Computer science ▼x Mathematics.
650 0 0 ▼a Machine theory.
650 0 ▼a Logic, Symbolic and mathematical.
650 0 ▼a Game theory.
700 1 ▼a Gra@del, Erich ▼d 1958-
700 1 ▼a Thomas, Wolfgang ▼d 1947-
700 1 ▼a Wilke, Thomas ▼d 1965-

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.0151 A939 등록번호 121100902 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

저자소개

William W. Thomas(지은이)

E. Grdel(지은이)

T. Wilke(엮은이)

정보제공 : Aladin

목차

?-Automata.- Infinite Games.- Determinization and Complementation.- Determinization of Buchi-Automata.- Complementation of Buchi Automata Using Alternation.- Determinization and Complementation of Streett Automata.- Parity Games.- Memoryless Determinacy of Parity Games.- Algorithms for Parity Games.- Tree Automata.- Nondeterministic Tree Automata.- Alternating Tree Automata and Parity Games.- Modal ?-Calculus.- Modal ?-Calculus and Alternating Tree Automata.- Strictness of the Modal ?-Calculus Hierarchy.- Monadic Second-Order Logic.- Decidability of S1S and S2S.- The Complexity of Translating Logic to Finite Automata.- Expressive Power of Monadic Second-Order Logic and Modal ?-Calculus.- Tree-like Models.- Prefix-Recognizable Graphs and Monadic Logic.- The Monadic Theory of Tree-like Structures.- Two-Way Tree Automata Solving Pushdown Games.- Guarded Logics.- to Guarded Logics.- Automata for Guarded Fixed Point Logics.- Appendices.- Some Fixed Point Basics.


정보제공 : Aladin

관련분야 신착자료

김자미 (2021)