Found 2 Documents (Results 1–2)
CC(X): semantic combination of congruence closure with solvable theories. (English) Zbl 1277.68240
Krstić, Sava (ed.) et al., Proceedings of the 5th international workshop on satisfiability modulo theories (SMT 2007), Berlin, Germany, July 1–2, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 198, No. 2, 51-69 (2008).
MSC:
68T15
03B35
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
all
top 5
Author
- Conchon, Sylvain (1)
- Contejean, Evelyne (1)
- Guatto, Adrien (1)
- Kanig, Johannes (1)
- Lescuyer, Stéphane (1)
- Metcalfe, George (1)
- Santschi, Simon (1)
- van Gool, Samuel Jacob (1)