EPiC Series in Computing

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
EPiC Series in Computing
 
Publisher Herausgeber
EasyChair EPiC Series in Computing
 
Series Schriftenreihe
EPiC Series in Computing
 

Publications Publikationen

Results 1-12 of 12 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Rebola Pardo, Adrian ; Suda, Martin A Theory of Satisfiability-Preserving Proofs in SAT SolvingKonferenzbeitrag Inproceedings 2018
2Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Antonio ; Kovacs, Laura A typed parallel lambda-calculus via 1-depth intermediate proofsKonferenzbeitrag Inproceedings 2020
3Pagel, Jens ; Zuleger, Florian Beyond Symbolic Heaps: Deciding Separation Logic With Inductive DefinitionsKonferenzbeitrag Inproceedings 2020
4Reger, Giles ; Suda, Martin Incremental Solving with VampireKonferenzbeitrag Inproceedings 2018
5Reger, Giles ; Suda, Martin ; Kovacs, Laura ; Voronkov, Andrei Local proofs and AVATARKonferenzbeitrag Inproceedings 2018
6Gleiss, Bernhard ; Kovács, Laura ; Robillard, Simon ; Barthe, Gilles ; Sutcliffe, Geoff ; Veanes, Margus Loop Analysis by Quantification over IterationsKonferenzbeitrag Inproceedings 2018
7Lolic, Anela ; Baaz, Matthias Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel LogicKonferenzbeitrag Inproceedings2018
8Ortiz, Magdalena ; Calvanese, Diego ; Iocchi, Luca Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite CaseKonferenzbeitrag Inproceedings 2019
9Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila Parameter Synthesis for Probabilistic HyperpropertiesKonferenzbeitrag Inproceedings2020
10Rebola Pardo, Adrian ; Weissenbacher, Georg ; Kovacs, Laura ; Albert, Elvira RAT EliminationKonferenzbeitrag Inproceedings 2020
11Heule, Marijn ; Kiesl, Benjamin The Potential of Interference-Based Proof SystemsKonferenzbeitrag Inproceedings 2017
12Janota, Mikolas ; Suda, Martin Towards Smarter MACE-style Model FindersKonferenzbeitrag Inproceedings2018