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 And Formal Languages (F.4) See Reviews  
General (70)
Mathematical Logic (8)
Grammars And Other Rewriting Systems (152)
Formal Languages (197)
Miscellaneous (13)
Reviews limited to:

Reviews in category "Mathematical Logic And Formal Languages (F.4)":
Implementing a modal dependent type theory
Gratzer D., Sterling J., Birkedal L.  Proceedings of the ACM on Programming Languages 3(ICFP): 1-29, 2019. Type: Article
Proof theory and algebra in logic
Ono H.,  Springer International Publishing, New York, NY, 2019. 168 pp. Type: Book
Model selection and error estimation in a nutshell
Oneto L.,  Springer International Publishing, New York, NY, 2020. 132 pp. Type: Book (978-3-030243-58-6)
Finite-state techniques: automata, transducers and bimachines
Mihov S., Schulz K.,  Cambridge University Press, New York, NY, 2019. 324 pp. Type: Book (978-1-108485-41-8)
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

Related Topics

Mathematical Logic
  - Models Of Computation
  - Automatic Programming
  - Deduction And Theorem Proving
  - Knowledge Representation Formalisms And Methods

Grammars And Other Rewriting Systems
  - Formal Definitions And Theory

Formal Languages
  - Formal Definitions And Theory
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