Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or control systems. For the construction and analysis of reactive systems an elegant and powerful theory has been developed based on automata theory, logical systems for the specification of nonterminating behavior, and infinite two-person games. The 19 chapters presented in this multi-author monograph give a consolidated overview of the research results achieved in the theory of automata, logics, and infinite games during the past 10 years. Special emphasis is placed on coherent style, complete coverage of all relevant topics, motivation, examples, justification of constructions, and exercises.

Computer science --- Machine theory. --- Logic, Symbolic and mathematical. --- Game theory. --- Logique symbolique et mathématique --- Théorie des jeux --- Mathematics. --- Machine theory --- Logic, Symbolic and mathematical --- Game theory --- Mathematics --- Computer Science --- Engineering & Applied Sciences --- Logique symbolique et mathématique --- Théorie des jeux --- Games, Theory of --- Theory of games --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Computer science. --- Computers. --- Computer Science. --- Theory of Computation. --- Computer Science, general. --- Mathematical models --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorithms --- Recursive functions --- Robotics --- Information theory. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Informatique --- Logique mathématique --- Logique mathématique --- Computer science - Mathematics --- Automates abstraits

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee selected 34 papers for presentation at the conference and publication in these proceedings. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The awardrecipient for 2009 was Jakob Nordstr¨ om. Citation of the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings. The award was sponsored for the years 2007-2009 by Logitech S.A.

Mathematical logic --- Ergodic theory. Information theory --- Computer science --- Computer architecture. Operating systems --- Computer. Automation --- algebra --- coderen --- informatica --- programmeren (informatica) --- wiskunde --- logica --- informatietheorie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful technique for analyzing the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and tree-width, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science.

Finite model theory. --- Computational complexity. --- Constraint databases. --- Databases --- Complexity, Computational --- Electronic data processing --- Machine theory --- Computer science --- Model theory --- Mathematics --- Information theory. --- Computer science. --- Software engineering. --- Logic design. --- Database management. --- Theory of Computation. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Database Management. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computers. --- Mathematical logic. --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)