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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since… 
2015
2015
Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to… 
Highly Cited
2007
Highly Cited
2007
  • V. Goranko
  • J. Log. Lang. Inf.
  • 2007
  • Corpus ID: 31269046
mathematical logic for computer science 2nd edition PDF logic in computer science solution manual PDF logic in computer science… 
Highly Cited
2003
Highly Cited
2000
Highly Cited
2000
From the Publisher: Provides a simple and clear presentation, covering propositional and predicate logic and some specialized… 
Highly Cited
1994
Highly Cited
1994
Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard… 
Highly Cited
1993
Highly Cited
1993
  • Y. Gurevich
  • Current Trends in Theoretical Computer Science
  • 1993
  • Corpus ID: 11271507
Now, we come to offer you the right catalogues of book to open. logic in computer science is one of the literary work in this… 
1993
1993
  • S. Vickers
  • Theory and Formal Methods
  • 1993
  • Corpus ID: 13205688
We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and… 
Highly Cited
1992
Highly Cited
1992
Highly Cited
1992
We relate standard techniques for solving recursive domain equations to previous models with types interpreted as partial…