Results 171 to 180 of about 50,818 (216)

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

Partial-predicate logic in computer science

Acta Informatica, 1987
In [Acta Inf. 21, 251-269 (1984; Zbl 0534.68024)] \textit{H. Barringer}, \textit{J. H. Cheng} and \textit{C. B. Jones} present a 3-valued logic designed for program verification and computer science applications in general. This paper adds some theoretical background to their arguments for the need for such a system.
openaire   +2 more sources

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

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

Logic for the computer sciences

Communications of the ACM, 1964
openaire   +1 more source

Yuri, Logic, and Computer Science

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

Teach the importance of logic (programming) in Computer Science and why it is important

2023
Joaquín Arias
exaly  

Mathematical Logic for Computer Science

2001
openaire   +1 more source

The development of multiple-valued logic as related to computer science

Computer, 1974
George Epstein, David C Rine
exaly