|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Simon Cruanes, Jasmin Christian Blanchette |
Extending Nunchaku to Dependent Type Theory. |
HaTT@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli |
Extending SMTCoq, a Certified Checker for SMT (Extended Abstract). |
HaTT@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Cezary Kaliszyk (eds.) |
Proceedings First International Workshop on Hammers for Type Theories, HaTT@IJCAR 2016, Coimbra, Portugal, July 1, 2016. |
HaTT@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Kunze |
Towards the Integration of an Intuitionistic First-Order Prover into Coq. |
HaTT@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Czajka 0001, Cezary Kaliszyk |
Goal Translation for a Hammer for Coq (Extended Abstract). |
HaTT@IJCAR |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|