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

Clark Barrett, Igor Shikanian, Cesare Tinelli

Research output: Book/ReportOther report

Original languageEnglish (US)
PublisherDepartment of Computer Science, New York University
StatePublished - Nov 2005

Publication series

NameTechnical Report TR2005-878

Cite this

Barrett, C., Shikanian, I., & Tinelli, C. (2005). An abstract decision procedure for satisfiability in the theory of recursive data types. (Technical Report TR2005-878). Department of Computer Science, New York University.

An abstract decision procedure for satisfiability in the theory of recursive data types. / Barrett, Clark; Shikanian, Igor; Tinelli, Cesare.

Department of Computer Science, New York University, 2005. (Technical Report TR2005-878).

Research output: Book/ReportOther report

Barrett, C, Shikanian, I & Tinelli, C 2005, An abstract decision procedure for satisfiability in the theory of recursive data types. Technical Report TR2005-878, Department of Computer Science, New York University.
Barrett C, Shikanian I, Tinelli C. An abstract decision procedure for satisfiability in the theory of recursive data types. Department of Computer Science, New York University, 2005. (Technical Report TR2005-878).
Barrett, Clark ; Shikanian, Igor ; Tinelli, Cesare. / An abstract decision procedure for satisfiability in the theory of recursive data types. Department of Computer Science, New York University, 2005. (Technical Report TR2005-878).
@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 = "11",
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 -