A Practical Approach to Partial Functions in CVC Lite

A Practical Approach to Partial Functions in CVC Lite” by Sergey Berezin, Clark Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, and David L. Dill. In Selected Papers from the Workshops on Disproving and the Second International Workshop on Pragmatics of Decision Procedures (PDPAR '04), (Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, and Cesare Tinelli, eds.), July 2005, pp. 13-23. Cork, Ireland.

BibTeX entry:

@inproceedings{BBS+05,
   author = {Sergey Berezin and Clark Barrett and Igor Shikanian and
	Marsha Chechik and Arie Gurfinkel and David L. Dill},
   editor = {Wolfgang Ahrendt and Peter Baumgartner and Hans de Nivelle
	and Silvio Ranise and Cesare Tinelli},
   title = {A Practical Approach to Partial Functions in {CVC L}ite},
   booktitle = {Selected Papers from the Workshops on Disproving and the
	Second International Workshop on Pragmatics of Decision Procedures
	(PDPAR '04)},
   series = {Electronic Notes in Theoretical Computer Science},
   volume = {125(3)},
   pages = {13--23},
   publisher = {Elsevier},
   month = jul,
   year = {2005},
   note = {Cork, Ireland},
   url = {http://www.cs.nyu.edu/~barrett/pubs/BBS+05.pdf}
}

(This webpage was created with bibtex2web.)