Results 251 to 260 of about 1,008,187 (306)

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Logic in Computer Science, 2018

semanticscholar   +1 more source

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science

Logic in Computer Science, 2016
Eric Koskinen, Martin Grohe, N. Shankar
semanticscholar   +1 more source

Science‐technology coupling: The case of mathematical logic and computer science

Journal of the American Society for Information Science, 1997
In the history of science, there have often been periods of sudden rapprochements between pure science and technology-oriented branches of science. Mathematical logic as pure science and computer science as technology-orientated science have experienced such a rapprochement, which is studied in this article in a bibliometric manner.
openaire   +1 more source

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

, 2014

semanticscholar   +1 more source

Computer Science Logic

Lecture Notes in Computer Science, 1993
V. Danos, J. Krivine
semanticscholar   +1 more source

Basic Concepts of Computer Science and Logic

1977
Some clarifications and mathematical definitions which are concerned with the many fundamental concepts of computability theory based directly on the computer field, are presented. The sole aim of this paper is to attempt to bridge the gulf between the computer field on the one hand, and mathematics and logic on the other.
openaire   +2 more sources

Logic in Computer Science: Modelling and Reasoning about Systems

, 2000
D. Bridges, Cristian S. Calude, M. Dinneen, B. Khoussainov   +3 more
semanticscholar   +1 more source

Logic for Computer Science: The Engineering Challenge

2001
This 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   +2 more sources

Remarks on Logic in Mathematics and in Computer Science

1989
Publisher Summary The real novelty for mathematical logic is its role in computer science. Essentially, logic provides the main bridge between computer science and mathematics. There are several different perspectives in which logic is viewed in computer science and in mathematics.
openaire   +2 more sources

Logic in Computer Science: Modelling and Reasoning About Systems

Journal of Logic, Language and Information, 2007
V. Goranko
semanticscholar   +1 more source