Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,817,265 papers from all fields of science

Search

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

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

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

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

Highly Cited

1992

We relate standard techniques for solving recursive domain equations to previous models with types interpreted as partial…