Checking Validity of Quantifier-Free Formulas in Combinations of First-Order Theories

Checking Validity of Quantifier-Free Formulas in Combinations of First-Order Theories” by Clark W. Barrett. Ph.D. dissertation, Stanford University, Jan. 2003. Stanford, California.

BibTeX entry:

@phdthesis{B03,
   author = {Clark W. Barrett},
   title = {Checking Validity of Quantifier-Free Formulas in Combinations
	of First-Order Theories},
   school = {Stanford University},
   type = {{Ph.D.}},
   month = jan,
   year = {2003},
   note = {Stanford, California},
   url = {http://www.cs.nyu.edu/~barrett/pubs/B03.pdf}
}

(This webpage was created with bibtex2web.)