Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cade/paar2014.bht:"
download as .bib file
@proceedings{DBLP:conf/cade/2014paar,
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
publisher = {EasyChair},
year = {2015},
url = {https://easychair.org/publications/volume/PAAR-2014},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2014paar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ArhamiS14,
author = {Negin Arhami and
Geoff Sutcliffe},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {The Efficiency of Automated Theorem Proving by Translation to Less
Expressive Logics},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {2--11},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/kvb1},
doi = {10.29007/KVB1},
timestamp = {Thu, 29 Sep 2022 08:36:56 +0200},
biburl = {https://dblp.org/rec/conf/cade/ArhamiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Bax14,
author = {Joshua Bax},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {A Model Guided Instantiation Heuristic for the Superposition Calculus
with Theories},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {12--24},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/b923},
doi = {10.29007/B923},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Bax14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BonacinaP14,
author = {Maria Paola Bonacina and
David A. Plaisted},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {{SGGS} Theorem Proving: an Exposition},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {25--38},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/m2vf},
doi = {10.29007/M2VF},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BonacinaP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Cruanes14,
author = {Simon Cruanes},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Logtk: {A} Logic ToolKit for Automated Reasoning and its Implementation},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {39--49},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/4z1m},
doi = {10.29007/4Z1M},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Cruanes14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GauthierKKN14,
author = {Thibault Gauthier and
Cezary Kaliszyk and
Chantal Keller and
Michael Norrish},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Beagle as a {HOL4} external {ATP} method},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {50--59},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/8xbv},
doi = {10.29007/8XBV},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GauthierKKN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KaliszykUV14,
author = {Cezary Kaliszyk and
Josef Urban and
Jir{\'{\i}} Vyskocil},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Machine Learner for Automated Reasoning 0.4 and 0.5},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {60--66},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/shxj},
doi = {10.29007/SHXJ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KaliszykUV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/NassarS14,
author = {Muhammad Nassar and
Geoff Sutcliffe},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Automated Theorem Proving using the {TPTP} Process Instruction Language},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {67--75},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/f997},
doi = {10.29007/F997},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/NassarS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SaghafiD14,
author = {Salman Saghafi and
Daniel J. Dougherty},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Razor: Provenance and Exploration in Model-Finding},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {76--93},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/tcvw},
doi = {10.29007/TCVW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SaghafiD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TourretEP14,
author = {Sophie Tourret and
Mnacho Echenim and
Nicolas Peltier},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {A Deductive-Complete Constrained Superposition Calculus for Ground
Flat Equational Clauses},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {94--104},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/3cp8},
doi = {10.29007/3CP8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/TourretEP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Waldmann14,
author = {Uwe Waldmann},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Hierarchic Superposition Revisited},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {1},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/w9vg},
doi = {10.29007/W9VG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Waldmann14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Wand14,
author = {Daniel Wand},
editor = {Stephan Schulz and
Leonardo de Moura and
Boris Konev},
title = {Polymorphic+Typeclass Superposition},
booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
2014, Vienna, Austria, 2014},
series = {EPiC Series in Computing},
volume = {31},
pages = {105--119},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/8v2f},
doi = {10.29007/8V2F},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Wand14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 23:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
