Results 1 to 10 of about 47,990 (216)
Some of the next articles are maybe not open access.
Infinitary logic for computer science
1992Infinitary logic L ∞ω ω , extends first-order logic by allowing infinitary conjunctions and disjunctions (i.e., conjunctions with an infinite number of conjuncts and disjunctions with an infinite number of disjuncts). One usually thinks of infinitary logic as a fairly esoteric logic, which is not of much interest in computer science.
Phokion G. Kolaitis, Moshe Y. Vardi
openaire +1 more source
Fork Algebras in Algebra, Logic and Computer Science
Fundamenta Informaticae, 1997Since 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. These results will prove to be essential, in a future work,
Marcelo F. Frias +2 more
openaire +2 more sources
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
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
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
Linear Logic in Computer Science
2004Preface List of contributors Part I. Tutorials: 1. Category theory for linear logicians R. Blute and Ph. Scott 2. Proof nets and the x-calculus S. Guerrini 3. An overview of linear logic programming D. Miller 4. Linearity and nonlinearity in distributed computation G. Winskel Part II. Refereed Articles: 5.
openaire +1 more source