Results 151 to 160 of about 789,250 (189)

Logic in Computer Science

Hantao Zhang, Jian Zhang
semanticscholar   +2 more sources

The 2021 experience of logic in computer science

ACM SIGLOG News, 2021
I would have liked to start this report by saying that the 36th edition of the ACM/IEEE Symposium on Logic in Computer Science (LICS) took place in Rome, from June 29th to July 2nd, 2021. As general chair of the conference, I tried as hard as possible to have at least a hybrid event since, due to the COVID pandemic, it was clear that a fully-in ...
openaire   +2 more sources

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   +2 more
openaire   +1 more source

Fork Algebras in Algebra, Logic and Computer Science

Fundamenta Informaticae, 1997
Since the main themes at the Helena Rasiowa memorial were algebra, logic and computer science, we will present a survey of results on fork algebras from these points of view. In this paper we study fork algebras from the points of view of their algebraic and logical properties and applications.
Frias, Marcelo F., Baum, Gabriel A., Haeberer, Armando M.   +2 more
openaire   +2 more sources

Logics in Computer Science

2010
In this thesis, we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts.
openaire   +2 more sources

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   +1 more source

Handbook of Logic in Computer Science

1995
Abstract This handbook volume covers fundamental topics of semantic modelling 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 ...
openaire   +2 more sources

Logic versus mathematics in computer science education

Proceedings of the fourteenth SIGCSE technical symposium on Computer science education - SIGCSE '83, 1983
Informal mathematical proofs admit and require interpretation while formal logic proofs suppress (abstract from) meanings. The former is closely related to problem solving and computer programming. The latter, which is commonly used for proving program correctness, complicates this procedure because it separates problem solving from programming.
K. Culik, M. M. Rizki
openaire   +1 more source

Handbook of Logic in Computer Science

1992
Abstract The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science. The Handbook comprises six volumes. Each volume contains five or six chapters giving an in-depth overview of one of the major topics in the field. It is the result of many years of
openaire   +2 more sources

Logic and Proof in Computer Science

2017
Computer software pervades our lives today. Nevertheless, software is one of the few products for which producers generally provide no express or implied warranties, a truly striking fact since peoples' lives depend in such fundamental ways on these products. This article addresses why such an unintuitive (and undesirable) situation might exist.
openaire   +1 more source