Book Details

978-3-540-45459-5

Computer Science Logic (vol. # 4207)

Publication year: 2006

ISBN: 978-3-540-45459-5

Internet Resource: Please Login to download book


Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.


Subject: Computer Science, AI logics, Action, Constraint, classical logic, complexity, computational logic, finite models, higher order logic, linear logic, logic, logic programming, mathematical logic, model checking, nonclassical logic, permutative logic