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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to… (More)
  • figure 1
Is this relevant?
2012
2012
The formal definition of causality raises non trivial issues in the case of several agents acting together. Several action… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
2008
2008
The first € price and the £ and $ price are net prices, subject to local VAT. Prices indicated with * include VAT for books; the… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
mathematical logic for computer science 2nd edition PDF logic in computer science solution manual PDF logic in computer science… (More)
Is this relevant?
2004
2004
Throughout its history, deontic logic had to face the question whether it is a logic of descriptions or a logic of prescriptions… (More)
  • figure 1
  • figure 2
  • figure 1
  • figure 2
Is this relevant?
1993
1993
We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
 
Is this relevant?
1988
1988
The thesis is that every sequential algorithm, on any level of abstraction, can be viewed as a sequential abstract state machine… (More)
Is this relevant?
1987
1987
In “A Logic Covering Undefinedness in Program Proofs” [1], Barringer, Cheng and Jones present a 3-valued logic designed for… (More)
Is this relevant?
Highly Cited
1981
Highly Cited
1981
The rules of deduction which are usually used for many-sorted equational logic in computer science, for example in the study of… (More)
Is this relevant?