Book Details

Computer Science Logic (vol. # 4207)

Publish Date: 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