Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,817,265 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
24 relations
ACM Transactions on Computational Logic
Automated theorem proving
Category theory
Computational logic
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Mathematical Logic in Computer Science
A. Kfoury
ArXiv
2018
Corpus ID: 3651267
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since…
Expand
2015
2015
Linear logic in computer science
William Steingartner
,
Andrea Poláková
,
Peter Prazňák
,
Valerie Novitzká
2015
Corpus ID: 41961701
Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to…
Expand
Highly Cited
2007
Highly Cited
2007
Logic in Computer Science: Modelling and Reasoning About Systems
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…
Expand
Highly Cited
2003
Highly Cited
2003
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
D. Pattinson
Theor. Comput. Sci.
2003
Corpus ID: 15352967
Highly Cited
2000
Highly Cited
2000
Logic in Computer Science: Modelling and Reasoning about Systems
M. Huth
,
M. Ryan
2000
Corpus ID: 202793394
From the Publisher: Provides a simple and clear presentation, covering propositional and predicate logic and some specialized…
Expand
Highly Cited
1994
Highly Cited
1994
The proof theory and semantics of intuitionistic modal logic
A. Simpson
1994
Corpus ID: 2309858
Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard…
Expand
Highly Cited
1993
Highly Cited
1993
Logic in Computer Science
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…
Expand
1993
1993
Geometric Logic in Computer Science
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…
Expand
Highly Cited
1992
Highly Cited
1992
Handbook of logic in computer science.
S. Abramsky
,
D. Gabbay
,
T. Maibaum
1992
Corpus ID: 40787672
Highly Cited
1992
Highly Cited
1992
PER models of subtyping, recursive types and higher-order polymorphism
Kim B. Bruce
,
John C. Mitchell
POPL '92
1992
Corpus ID: 12997315
We relate standard techniques for solving recursive domain equations to previous models with types interpreted as partial…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE