Results 241 to 250 of about 774,920 (290)

The Handbook of Logic in Computer Science

, 2016
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Probabilistic logic in computer science

AIP Conference Proceedings, 2021
The article examines probabilistic logic as applied to computer science and its problems. Probabilistic logic is treated as a generalization of formal logic. In many cases, the application of probabilistic logic occurs under conditions of uncertainty. Probabilistic logic uses a model approach. Computer science also uses a model approach.
I. I. Lonsky, S. V. Bulgakov, V. Ya. Tsvetkov   +2 more
openaire   +1 more source

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

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

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

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

Linear Logic in Computer Science

2004
Preface 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