|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Laura Kovács, Andrei Voronkov (eds.) |
Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016. |
Vampire@IJCAR |
2017 |
DBLP BibTeX RDF |
|
1 | Andrew Reynolds 0001 |
Conflicts, Models and Heuristics for Quantifier Instantiation in SMT. |
Vampire@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sylvia Grewe, Sebastian Erdweg, Mira Mezini |
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. |
Vampire@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger, Martin Suda 0001 |
Global Subsumption Revisited (Briefly). |
Vampire@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Chen, Laura Kovács, Simon Robillard |
Theory-Specific Reasoning about Loops with Arrays using Vampire. |
Vampire@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Javier Álvez, Paqui Lucio, German Rigau |
Evaluating Automated Theorem Provers Using Adimen-SUMO. |
Vampire@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giles Reger |
Better Proof Output for Vampire. |
Vampire@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|