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… 
2011
2011
On the Origin of Events: Branching Cells as Stubborn Sets
In prime event structures with binary conflicts (pes-bc) a branching cell [1] is a subset of events closed under downward… 
2004
2004
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
This paper presents an introduction to category theory with an emphasis on those aspects relevant to the analysis of the model… 
2002
2002
There is no recursive link between the k-size of a model and its cardinality
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… 
1991
1991
The new role of mathematical logic: A tool for computer scienc
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)