|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Automatic decidability and combinability.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner |
Combination of convex theories: Modularity, deduction completeness, and explanation. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Lynch, Duc-Khanh Tran |
SMELS: Satisfiability Modulo Equality with Lazy Superposition. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Lynch, Duc-Khanh Tran |
Automatic Decidability and Combinability Revisited. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Combining Proof-Producing Decision Procedures. |
FroCos |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Automatic Combinability of Rewriting-Based Satisfiability Procedures. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
On Superposition-Based Satisfiability Procedures and Their Combination. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")