Apress

Ofer Strichman

Ofer Strichman's Books

Decision Procedures

Decision Procedures

  • Publication Date: April 29, 2008
  • ISBN13: 978-3-540741-04-6

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable. Learn More …