A generalization of Shostak's method for combining decision procedures

Conference proceeding

Peer reviewed

Clark W Barrett, David L Dill and Aaron Stump

Lecture notes in computer science, Vol.2309, pp.132-146

FroCos 2002 : frontiers of combining systems (Santa Margherita Ligure, 8-10 April 2002)

2002

DOI: 10.1007/3-540-45988-x_11

View Online

Algorithmics. Computability. Computer arithmetics

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

Theoretical computing

Title: Subtitle: A generalization of Shostak's method for combining decision procedures
Creators: Clark W Barrett - Stanford University
David L Dill - Stanford University
Aaron Stump - Stanford University
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.2309, pp.132-146
Conference: FroCos 2002 : frontiers of combining systems (Santa Margherita Ligure, 8-10 April 2002)
Publisher: Springer
DOI: 10.1007/3-540-45988-x_11
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2002
Academic Unit: Computer Science
Record Identifier: 9984259438802771

46 Record Views