Skip to search formSkip to main contentSkip to account menu

Logic in computer science

Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three… 
Wikipedia (opens in a new tab)

Related topics

Related topics

24 relations
ACM Transactions on Computational LogicAutomated theorem provingCategory theoryComputational logic

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Fuzzy Logic in Computer Science
Many researchers and practitioners in the field of artificial intelligence (and intelligent systems in particular) want to make… 
1996
1996
A Machine Verified Distributed Sorting Algorithm
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The… 
1996
1996
Third international workshop on deontic logic in computer science
The Third International Workshop on Deontic Logic in Computer Science (ΔEON'96) took place in Sesimbra, Portugal, from 11–13… 
1994
1994
Contextual Permission: A Solution to the Free Choice Paradox
In this paper, we give a solution to the Free Choice Paradox. This is done in two stages. First, we have a close look at the… 
1992
1992
On the Expressive Power of Finitely and Universally Polymorphic Recursive Procedures
1991
1991
Abstract interpretation of functional languages: from theory to practice
Interpretation of Functional Languages: From Theory to Practice 
1990
1990
Generating program animators from programming language semantics
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be… 
1987
1987
Partial-predicate logic in computer science
SummaryIn “A Logic Covering Undefinedness in Program Proofs” [1], Barringer, Cheng and Jones present a 3-valued logic designed… 
Review
1986
Review
1986
Richard Bellman's contributions to computer science
1982
1982
Mathematical Logic in Computer Science
Interestingly, mathematical logic in computer science that you really wait for now is coming. It's significant to wait for the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)