Author:
Rasga João,Sernadas Cristina
Publisher
Springer International Publishing
Reference11 articles.
1. A.R. Bradley, Z. Manna, The Calculus of Computation: Decision Procedures with Applications to Verification (Springer, 2007)
2. D. Kroening, O. Strichman, Decision Procedures: An Algorithmic Point of View, 2nd edn. (Springer, 2016)
3. G. Nelson, D.C. Oppen, Simplification by cooperating decision procedures. ACM Trans. Program. Lang. Syst. 1(2), 245–257 (1979)
4. D.C. Oppen, Complexity, convexity and combinations of theories. Theor. Comput. Sci. 12, 291–302 (1980)
5. F. Casal, J. Rasga, Many-sorted equivalence of shiny and strongly polite theories. J. Autom. Reason. 60(2), 221–236 (2018)