Results 211 to 220 of about 53,090 (266)
Some of the next articles are maybe not open access.
The 2021 experience of logic in computer science
ACM SIGLOG News, 2021I 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 +3 more sources
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 +2 more sources
Practical computer logic classes for computer science students
ACM SIGCSE Bulletin, 1982Undergraduate students in our Computer Science Honours degree course are introduced to logic analysers and other test equipment in a series of hardware experiments taken during their third year. This paper describes our approach and details of three of these experiments which use logic analysers.
William A. Coey, D. Q. M. Fay
openaire +2 more sources
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
The Logic of Physics versus the Logic of Computer Science
2017Bebo White, the physicist and computational scientist at the SLAC National Accelerator Laboratory in Stanford University, was one of the first people to get involved in Web technology as a result of his stay at CERN in the group developing the hypertext transfer protocol, HTTP. Almost immediately following this, he became part of the dedicated team who
Bebo White, Adolfo Plasencia
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 +2 more sources