All Mathematical Logic and Formal Language Titles

Grid or a List

Set Descending Direction

17 Book(s)

per page
  1. A Concise Introduction to Languages and Machines
    • Publication Date: June 29, 2009
    • ISBN13: 978-1-848001-20-6
  2. A Proof Theory for Description Logics
    • Publication Date: May 17, 2012
    • ISBN13: 978-1-447140-01-6
  3. Agent Technology from a Formal Perspective
    • Publication Date: January 27, 2006
    • ISBN13: 978-1-852339-47-0
  4. Conditionals and Modularity in General Logics
    • Publication Date: August 19, 2011
    • ISBN13: 978-3-642190-67-4
  5. Decision Procedures
    • Publication Date: April 29, 2008
    • ISBN13: 978-3-540741-04-6
  6. Finite Model Theory and Its Applications
    • Publication Date: June 4, 2007
    • ISBN13: 978-3-540004-28-8
  7. Formal Correctness of Security Protocols
    • Publication Date: May 27, 2007
    • ISBN13: 978-3-540681-34-2
  8. Formal Languages and Compilation
    • Publication Date: April 3, 2009
    • ISBN13: 978-1-848820-49-4
  9. Grammars for Language and Genes
    • Publication Date: September 1, 2011
    • ISBN13: 978-3-642204-43-2
  10. Handbook of Weighted Automata
    • Publication Date: September 18, 2009
    • ISBN13: 978-3-642014-91-8
  11. Logical Analysis of Hybrid Systems
    • Publication Date: September 2, 2010
    • ISBN13: 978-3-642145-08-7
  12. Logics of Specification Languages
    • Publication Date: December 5, 2007
    • ISBN13: 978-3-540741-06-0
  13. Mathematical Logic for Computer Science 3rd Edition
    • Publication Date: June 16, 2012
    • ISBN13: 978-1-447141-28-0
  14. Modelling Distributed Systems
    • Publication Date: September 5, 2007
    • ISBN13: 978-3-540739-37-1
  15. Pattern Calculus
    • Publication Date: July 30, 2009
    • ISBN13: 978-3-540891-84-0
  16. Stochastic Coalgebraic Logic
    • Publication Date: December 24, 2009
    • ISBN13: 978-3-642029-94-3
  17. Temporal Logic and State Systems
    • Publication Date: March 12, 2008
    • ISBN13: 978-3-540674-01-6

Grid or a List

Set Descending Direction

17 Book(s)

per page