Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > Mathematical Logic (F.4.1)
  Mathematical Logic (F.4.1) See Reviews  
Subject Descriptors:
Computability Theory (57)
Computational Logic (90)
Lambda Calculus And Related Systems (128)
Logic And Constraint Programming (205)
Mechanical Theorem Proving (95)
Modal Logic (27)
Model Theory (39)
Proof Theory (61)
Recursive Function Theory (39)
Set Theory (44)
Temporal Logic (30)
Proper Nouns:
Fcp (1)
Hol (2)
Nuprl (1)
Obj (1)
Prolog (11)
Prolog Iii (1)
Pruf (1)
Reviews limited to:

Reviews about "Mathematical Logic (F.4.1)":
A semantic framework for proof evidence
Chihani Z., Miller D., Renaud F.  Journal of Automated Reasoning 59(3): 287-330, 2017. Type: Article
Introduction to logic (3rd ed.)
Genesereth M., Kao E.,  Morgan & Claypool Publishers, San Rafael, CA, 2016. 178 pp. Type: Book (978-1-627056-36-6)
Probability logics: probability-based formalization of uncertain reasoning
Ognjanović Z., Rašković M., Marković Z.,  Springer International Publishing, New York, NY, 2016. 215 pp. Type: Book (978-3-319470-11-5)
A theorem about computationalism and "absolute" truth
Charlesworth A.  Minds and Machines 26(3): 205-226, 2016. Type: Article
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
Aransay J., Divasón J.  Formal Aspects of Computing 28(6): 1005-1026, 2016. Type: Article
Nondeterministic modal interfaces
Bujtor F., Fendrich S., Lüttgen G., Vogler W.  Theoretical Computer Science 642(C): 24-53, 2016. Type: Article
Completeness and decidability results for CTL in constructive type theory
Doczkal C., Smolka G.  Journal of Automated Reasoning 56(3): 343-365, 2016. Type: Article
Related Topics
F.4.1 Mathematical Logic
  - Knowledge Representation Formalisms And Methods
  - Models Of Computation
  - Deduction And Theorem Proving
  - Automatic Programming
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy