Results 221 to 230 of about 53,090 (266)

Temporal Logics in Computer Science

2016
This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences.
Stéphane Demri, Valentin Goranko, Martin Lange 0001   +2 more
openaire   +1 more source

The logic in computer science column

Bull. EATCS, 1989
This paper is a short but dense tutorial on infinite games. After giving their definition the author discusses some of the links to determinacy. A mention is made of possible applications to operating systems, networks and file systems.
openaire   +2 more sources

Logic for Computer Science: The Engineering Challenge

2001
This essay is a reflection on the roles which logic played and can play in computer science. We recall the obvious merits of mathematical logic as a parent discipline of computer science, from which many fields in theoretical computer science emerged, but then address some unresolved issues in connection with the engineering tasks of computer science ...
openaire   +1 more source

Applied Logics for Computer Science

2004
Logic is intensively applied in many areas of computer science. Successful applications often lead to the question whether alternative logics could be more adequate than classical propositional and first-order logics. Not surprisingly, answering this question usually amounts to a trade-off between the expressive power of the new logic (usually stronger
Gochet, Paul, Gribomont, Pascal
openaire   +2 more sources

Logic for the computer sciences

Communications of the ACM, 1964
openaire   +1 more source

Handbook of Logic in Computer Science

1995
Abstract This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
openaire   +1 more source

Yuri, Logic, and Computer Science

2010
Andreas Blass, Nachum Dershowitz, Wolfgang Reisig   +2 more
openaire   +2 more sources

Mathematical Logic for Computer Science

2001
openaire   +1 more source

Logic and language models for computer science

ACM SIGACT News, 2002
Henry Hamburger, Dana Richards
openaire   +2 more sources

Computer Logic Meets Cell Biology: How Cell Science Is Getting an Upgrade

Nature, 2018
Neil Savage
exaly