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
Search
  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 (58)
Computational Logic (95)
Lambda Calculus And Related Systems (128)
Logic And Constraint Programming (206)
Mechanical Theorem Proving (95)
Modal Logic (31)
Model Theory (40)
Proof Theory (69)
Recursive Function Theory (40)
Set Theory (44)
Temporal Logic (35)
 
Proper Nouns:
AUTOMATH (1)
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)":
Proof theory and algebra in logic
Ono H.,  Springer International Publishing, New York, NY, 2019. 168 pp. Type: Book
Credulous acceptability, poison games and modal logic
Grossi D., Rey S.  AAMAS 2019 (Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, Montreal, QC, Canada,  May 13-17, 2019) 1994-1996, 2019. Type: Proceedings
Symbolic checking of fuzzy CTL on fuzzy program graph
Ebrahimi M., Sotudeh G., Movaghar A.  Acta Informatica 56(1): 1-33, 2019. Type: Article
Neighborhood semantics for modal logic
Pacuit E.,  Springer International Publishing, New York, NY, 2017. 154 pp. Type: Book (978-3-319671-48-2)
Safe autonomy under perception uncertainty using chance-constrained temporal logic
Jha S., Raman V., Sadigh D., Seshia S.  Journal of Automated Reasoning 60(1): 43-62, 2018. Type: Article
Generalizing Morley’s and other theorems with automated realization
Braude E., Abdyldayev S.  Journal of Automated Reasoning 60(4): 503-526, 2018. Type: Article
Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning
Slaney J., Woltzenlogel Paleo B.  Journal of Automated Reasoning 60(2): 133-156, 2018. Type: Article
more...
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-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy