Results 271 to 280 of about 67,082 (308)
Some of the next articles are maybe not open access.
Partial-predicate logic in computer science
Acta Informatica, 1987In [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 +1 more source
The logic in computer science column
Bull. EATCS, 1989This 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 +1 more source
Temporal Logics in Computer Science
2016This 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 +2 more
openaire +1 more source
Logic for Computer Science: The Engineering Challenge
2001This 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
Teach the importance of logic (programming) in Computer Science and why it is important
2023Joaquin Arias
exaly
Logic and language models for computer science
ACM SIGACT News, 2002Henry Hamburger, Dana Richards
openaire +1 more source
The development of multiple-valued logic as related to computer science
Computer, 1974George Epstein, David C Rine
exaly