Ph.D. thesis

Checking the validity of quantifier-free formulas in combinations of first-order theories

Clark Barrett

Research output: Book/ReportOther report

Original languageEnglish (US)
PublisherStandford University
StatePublished - 2003

Cite this

Ph.D. thesis : Checking the validity of quantifier-free formulas in combinations of first-order theories. / Barrett, Clark.

Standford University, 2003.

Research output: Book/ReportOther report

@book{51c112f4f63e406a9f52d33ebbc835da,
title = "Ph.D. thesis: Checking the validity of quantifier-free formulas in combinations of first-order theories",
author = "Clark Barrett",
year = "2003",
language = "English (US)",
publisher = "Standford University",

}

TY - BOOK

T1 - Ph.D. thesis

T2 - Checking the validity of quantifier-free formulas in combinations of first-order theories

AU - Barrett, Clark

PY - 2003

Y1 - 2003

M3 - Other report

BT - Ph.D. thesis

PB - Standford University

ER -