An abstract decision procedure for satisfiability in the theory of recursive data types

Clark Barrett, Igor Shikanian, Cesare Tinelli

Research output: Book/Report › Other report

Original language	English (US)
Publisher	Department of Computer Science, New York University
State	Published - Nov 2005

Name	Technical Report TR2005-878

Cite this

@book{c822e21f487a483a8265ab8f73b0698b,

title = "An abstract decision procedure for satisfiability in the theory of recursive data types",

author = "Clark Barrett and Igor Shikanian and Cesare Tinelli",

year = "2005",

month = nov,

language = "English (US)",

series = "Technical Report TR2005-878",

publisher = "Department of Computer Science, New York University",

}

TY - BOOK

T1 - An abstract decision procedure for satisfiability in the theory of recursive data types

AU - Barrett, Clark

AU - Shikanian, Igor

AU - Tinelli, Cesare

PY - 2005/11

Y1 - 2005/11

M3 - Other report

T3 - Technical Report TR2005-878

BT - An abstract decision procedure for satisfiability in the theory of recursive data types

PB - Department of Computer Science, New York University

ER -