Abstractions in Decision Procedures for Algebraic Data Types

Tuan-Hung Pham, Michael W Whalen

Research output: Working paper

Original languageUndefined/Unknown
StatePublished - 2013

Cite this

Abstractions in Decision Procedures for Algebraic Data Types. / Pham, Tuan-Hung; Whalen, Michael W.

2013.

Research output: Working paper

@techreport{7560ecaa862042c18d0bdb336d0457ba,
title = "Abstractions in Decision Procedures for Algebraic Data Types",
author = "Tuan-Hung Pham and Whalen, {Michael W}",
year = "2013",
language = "Undefined/Unknown",
type = "WorkingPaper",

}

TY - UNPB

T1 - Abstractions in Decision Procedures for Algebraic Data Types

AU - Pham, Tuan-Hung

AU - Whalen, Michael W

PY - 2013

Y1 - 2013

M3 - Working paper

BT - Abstractions in Decision Procedures for Algebraic Data Types

ER -