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

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Rebola Pardo, Adrian ; Suda, Martin A Theory of Satisfiability-Preserving Proofs in SAT SolvingKonferenzbeitrag Inproceedings 2018
2Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Antonio 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 Local proofs and AVATARKonferenzbeitrag Inproceedings 2018
6Gleiss, Bernhard ; Kovács, Laura ; Robillard, Simon 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 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 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