Opening book details…
About this Computer Science article
An Abstract Decision Procedure for a Theory of Inductive Data Types by Barrett, Clark; Shikanian, Igor; Tinelli, Cesare; Cook, Byron; Sebastiani, Roberto is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Barrett, Clark; Shikanian, Igor; Tinelli, Cesare; Cook, Byron; Sebastiani, Roberto
- Publisher
- IOS Press (ISSN 1574-0617)
- Published
- 2007
- Field
- Computer Science (Physical Sciences)