Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X
No abstract available.
Related papers
- Motivating complexity understanding by profiling energy usage Onward! 2021
- The artist in the computer scientist: more humanity to our research Onward! 2011
- A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (Or: A Memo on memo) OOPSLA 2025
- Fifteen years of functional pearls ICFP 2006
- Reasoning About Data Trees Using CHCs CAV 2022
- An effective theory of type refinements ICFP 2003
- Reasoning about Computations Using Two-Levels of Logic APLAS 2010
- Biological realms in computer science Onward! 2011