Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Available items only

Title Logic and automata : history and perspectives / edited by Jörg Flum, Erich Grädel, Thomas Wilke.

Imprint Amsterdam : Amsterdam University Press, ©2008.


Location Call No. OPAC Message Status
 Axe JSTOR Open Ebooks  Electronic Book    ---  Available
Description 1 online resource : illustrations
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
data file rda
Series Texts in logic and games ; vol. 2
Texts in logic and games ; v. 2.
Note Title from PDF title page (viewed July 1, 2008).
Bibliography Includes bibliographical references.
Summary This collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this field.
Contents Machine derived contents note: Preface On the topological complexity of tree languages Andre; Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski Nondeterministic controllers of nondeterministic processes Andre; Arnold, Igor Walukiewicz Reachability in continuous-time Markov reward decision processes Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen Logical theories and compatible operations Achim Blumensath, Thomas Colcombet, Christof Löding Forest algebras Mikolaj Bojanczyk, Igor Walukiewicz Automata and semigroups recognizing infinite words Olivier Carton, Dominique Perrin, Jean-Éric Pin Deterministic graph grammars Didier Caucal Quantifier-free definable graph operations preserving recognizability Bruno Courcelle First-order definable languages Volker Diekert, Paul Gastin Matrix-based complexity functions and recognizable picture languages Dora Giammarresi, Antonio Restivo Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games Hugo Gimbert, Wieslaw Zielonka Logic, graphs, and algorithms Martin Grohe Non-regular fixed-point logics and games Stephan Kreutzer, Martin Lange The universal automaton Sylvain Lombardy, Jacques Sakarovitch Deterministic top-down tree automata: past, present, and future Wim Martens, Frank Neven, Thomas Schwentick Expressive power of monadic logics on words, trees, pictures, and graphs Oliver Matz, Nicole Schweikardt Structured strategies in games on graphs R. Ramanujam, Sunil Simon Counting in trees Helmut Seidl, Thomas Schwentick, Anca Muscholl Modular quantifiers Howard Straubing, Denis The;rien Automata: from logics to algorithms Moshe Y. Vardi, Thomas Wilke.
Subject Computer science -- Mathematics.
Logic, Symbolic and mathematical.
Game theory.
Computational complexity.
Machine theory.
MATHEMATICS -- Infinity.
COMPUTERS -- General.
Mathematics and science.
Science: general issues.
Machine theory. (OCoLC)fst01004846
Computational complexity. (OCoLC)fst00871991
Computer science -- Mathematics. (OCoLC)fst00872460
Game theory. (OCoLC)fst00937501
Logic, Symbolic and mathematical. (OCoLC)fst01002068
Genre/Form Electronic books.
Electronic book.
Added Author Flum, Jörg.
Grädel, Erich, 1958-
Wilke, Thomas, 1965-
In: Books at JSTOR: Open Access JSTOR
OAPEN (Open Access Publishing in European Networks) OAPEN
Other Form: Print version: Logic and automata. [Amsterdam] : Amsterdam University Press, ©2008 9789053565766 (DLC) 2008464788 (OCoLC)225876077
ISBN 9789048501281 (electronic bk.)
9048501288 (electronic bk.)
Standard No. AU@ 000048782049
AU@ 000051331845
DEBBG BV043112750
DEBBG BV044133514
DEBSZ 396238645
DEBSZ 422139025
DEBSZ 456441743
GBVCP 1003593739
NLGGC 380809192
NZ1 13859946

Available items only