Sign in
A generalization of Shostak's method for combining decision procedures
Conference proceeding   Peer reviewed

A generalization of Shostak's method for combining decision procedures

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

Abstract

Algorithmics. Computability. Computer arithmetics Applied sciences Computer science; control theory; systems Exact sciences and technology Theoretical computing

Details

Metrics

46 Record Views