A generalization of Shostak's method for combining decision procedures

Clark Barrett; David L. Dill; Aaron Stump

A generalization of Shostak's method for combining decision procedures

Clark Barrett, David L. Dill, Aaron Stump

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Proceedings of the 4th international workshop on frontiers of combining systems, April 2002, Santa Margherita Ligure, Italy, (FroCoS '02)
Publisher	Springer Verlag
Pages	132-146
State	Published - 2002

Publication series

Name	Lecture Notes in Artificial Intelligence
Volume	2309

Cite this

A generalization of Shostak's method for combining decision procedures. / Barrett, Clark; Dill, David L.; Stump, Aaron.

Proceedings of the 4th international workshop on frontiers of combining systems, April 2002, Santa Margherita Ligure, Italy, (FroCoS '02). Springer Verlag, 2002. p. 132-146 (Lecture Notes in Artificial Intelligence; Vol. 2309).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

@inproceedings{a117ca1baafe4a5592c445a94a237959,

title = "A generalization of Shostak's method for combining decision procedures",

author = "Clark Barrett and Dill, {David L.} and Aaron Stump",

year = "2002",

language = "English (US)",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer Verlag",

pages = "132--146",

booktitle = "Proceedings of the 4th international workshop on frontiers of combining systems, April 2002, Santa Margherita Ligure, Italy, (FroCoS '02)",

}

TY - GEN

T1 - A generalization of Shostak's method for combining decision procedures

AU - Barrett, Clark

AU - Dill, David L.

AU - Stump, Aaron

PY - 2002

Y1 - 2002

M3 - Conference contribution

T3 - Lecture Notes in Artificial Intelligence

SP - 132

EP - 146

BT - Proceedings of the 4th international workshop on frontiers of combining systems, April 2002, Santa Margherita Ligure, Italy, (FroCoS '02)

PB - Springer Verlag

ER -