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/lpar/lpar2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/lpar/0001TM17,
author = {Bart Bogaerts and
Eugenia Ternovska and
David G. Mitchell},
editor = {Thomas Eiter and
David Sands},
title = {Propagators and Solvers for the Algebra of Modular Systems},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {227--248},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/t7r9},
doi = {10.29007/T7R9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/0001TM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaazP17,
author = {Matthias Baaz and
Norbert Preining},
editor = {Thomas Eiter and
David Sands},
title = {G{\"{o}}del logics and the fully boxed fragment of {LTL}},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {404--416},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/bdbm},
doi = {10.29007/BDBM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaazP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BartheEGHS17,
author = {Gilles Barthe and
Thomas Espitau and
Benjamin Gr{\'{e}}goire and
Justin Hsu and
Pierre{-}Yves Strub},
editor = {Thomas Eiter and
David Sands},
title = {Proving uniformity and independence by self-composition and coupling},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {385--403},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/vz48},
doi = {10.29007/VZ48},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BartheEGHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BauerH17,
author = {Sabine Bauer and
Martin Hofmann},
editor = {Thomas Eiter and
David Sands},
title = {Decidable linear list constraints},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {181--199},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/d7t4},
doi = {10.29007/D7T4},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BauerH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BistarelliMMS17,
author = {Stefano Bistarelli and
Fabio Martinelli and
Ilaria Matteucci and
Francesco Santini},
editor = {Thomas Eiter and
David Sands},
title = {A Quantitative Partial Model-Checking Function and Its Optimisation},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {319--337},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/rb2p},
doi = {10.29007/RB2P},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BistarelliMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BlahoudekDKKS17,
author = {Frantisek Blahoudek and
Alexandre Duret{-}Lutz and
Mikul{\'{a}}s Klokocka and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Jan Strejcek},
editor = {Thomas Eiter and
David Sands},
title = {Seminator: {A} Tool for Semi-Determinization of Omega-Automata},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {356--367},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/k5nl},
doi = {10.29007/K5NL},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BlahoudekDKKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BoumarafiSS17,
author = {Yazid Boumarafi and
Lakhdar Sais and
Yakoub Salhi},
editor = {Thomas Eiter and
David Sands},
title = {From {SAT} to Maximum Independent Set: {A} New Approach to Characterize
Tractable Classes},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {286--299},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/c9f6},
doi = {10.29007/C9F6},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BoumarafiSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BourbouhGGGKT17,
author = {Hamza Bourbouh and
Pierre{-}Lo{\"{\i}}c Garoche and
Christophe Garion and
Arie Gurfinkel and
Temesghen Kahsai and
Xavier Thirioux},
editor = {Thomas Eiter and
David Sands},
title = {Automated analysis of Stateflow models},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {144--161},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/b8gq},
doi = {10.29007/B8GQ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BourbouhGGGKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CiabattoniR17,
author = {Agata Ciabattoni and
Revantha Ramanayake},
editor = {Thomas Eiter and
David Sands},
title = {Bunched Hypersequent Calculi for Distributive Substructural Logics},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {417--434},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/ngp3},
doi = {10.29007/NGP3},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CiabattoniR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Cruz-FilipeS17,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Peter Schneider{-}Kamp},
editor = {Thomas Eiter and
David Sands},
title = {Formally Proving the Boolean Pythagorean Triples Conjecture},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {509--522},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/jvdj},
doi = {10.29007/JVDJ},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Cruz-FilipeS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EchahedM17,
author = {Rachid Echahed and
Aude Maignan},
editor = {Thomas Eiter and
David Sands},
title = {Parallel Graph Rewriting with Overlapping Rules},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {300--318},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/576h},
doi = {10.29007/576H},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/EchahedM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FilhoFO17,
author = {Dimas Melo Filho and
Fred Freitas and
Jens Otten},
editor = {Thomas Eiter and
David Sands},
title = {{RACCOON:} {A} Connection Reasoner for the Description Logic {ALC}},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {200--211},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/3xxd},
doi = {10.29007/3XXD},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FilhoFO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FischerM17,
author = {Jeffrey Fischer and
Rupak Majumdar},
editor = {Thomas Eiter and
David Sands},
title = {Programming by Composing Filters},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {1--13},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/w8s9},
doi = {10.29007/W8S9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FischerM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FrohnG17,
author = {Florian Frohn and
J{\"{u}}rgen Giesl},
editor = {Thomas Eiter and
David Sands},
title = {Analyzing Runtime Complexity via Innermost Runtime Complexity},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {249--268},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/1nbh},
doi = {10.29007/1NBH},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FrohnG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GauthierKU17,
author = {Thibault Gauthier and
Cezary Kaliszyk and
Josef Urban},
editor = {Thomas Eiter and
David Sands},
title = {TacticToe: Learning to Reason with {HOL4} Tactics},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {125--143},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/ntlb},
doi = {10.29007/NTLB},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/GauthierKU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GiganteMR17,
author = {Nicola Gigante and
Angelo Montanari and
Mark Reynolds},
editor = {Thomas Eiter and
David Sands},
title = {A One-Pass Tree-Shaped Tableau for LTL+Past},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {456--473},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/3hb9},
doi = {10.29007/3HB9},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GiganteMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GleissnerSB17,
author = {Tobias Glei{\ss}ner and
Alexander Steen and
Christoph Benzm{\"{u}}ller},
editor = {Thomas Eiter and
David Sands},
title = {Theorem Provers For Every Normal Modal Logic},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {14--30},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/jsb9},
doi = {10.29007/JSB9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GleissnerSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HainryP17,
author = {Emmanuel Hainry and
Romain P{\'{e}}choux},
editor = {Thomas Eiter and
David Sands},
title = {Higher order interpretation for higher order complexity},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {269--285},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/1tkw},
doi = {10.29007/1TKW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HainryP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HannulaKL17,
author = {Miika Hannula and
Juha Kontinen and
Sebastian Link},
editor = {Thomas Eiter and
David Sands},
title = {On the Interaction of Inclusion Dependencies with Independence Atoms},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {212--226},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/2pgn},
doi = {10.29007/2PGN},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HannulaKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HollingumS17,
author = {Nicholas Hollingum and
Bernhard Scholz},
editor = {Thomas Eiter and
David Sands},
title = {Cauliflower: a Solver Generator for Context-Free Language Reachability},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {171--180},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/tbm7},
doi = {10.29007/TBM7},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HollingumS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JouannaudS17,
author = {Jean{-}Pierre Jouannaud and
Pierre{-}Yves Strub},
editor = {Thomas Eiter and
David Sands},
title = {Coq without Type Casts: {A} Complete Proof of Coq Modulo Theory},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {474--489},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/bjpg},
doi = {10.29007/BJPG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JouannaudS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Kahramanogullari17,
author = {Ozan Kahramanogullari},
editor = {Thomas Eiter and
David Sands},
title = {Deep Proof Search in {MELL}},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {106--124},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/p1fd},
doi = {10.29007/P1FD},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Kahramanogullari17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KahsaiKRS17,
author = {Temesghen Kahsai and
Rody Kersten and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f},
editor = {Thomas Eiter and
David Sands},
title = {Quantified Heap Invariants for Object-Oriented Programs},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {368--384},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/zrct},
doi = {10.29007/ZRCT},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KahsaiKRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Kiesl0STB17,
author = {Benjamin Kiesl and
Martin Suda and
Martina Seidl and
Hans Tompits and
Armin Biere},
editor = {Thomas Eiter and
David Sands},
title = {Blocked Clauses in First-Order Logic},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {31--48},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/c3wq},
doi = {10.29007/C3WQ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Kiesl0STB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KovacsV17,
author = {Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Thomas Eiter and
David Sands},
title = {First-Order Interpolation and Interpolating Proof Systems},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {49--64},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/1qb8},
doi = {10.29007/1QB8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KovacsV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LellmannOP17,
author = {Bj{\"{o}}rn Lellmann and
Carlos Olarte and
Elaine Pimentel},
editor = {Thomas Eiter and
David Sands},
title = {A uniform framework for substructural logics with modalities},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {435--455},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/93qg},
doi = {10.29007/93QG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LellmannOP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LindsbergerMM17,
author = {Josef Lindsberger and
Alexander Maringele and
Georg Moser},
editor = {Thomas Eiter and
David Sands},
title = {Quantified Boolean Formulas: Call the Plumber!},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {162--170},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/g8g8},
doi = {10.29007/G8G8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LindsbergerMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LoosISK17,
author = {Sarah M. Loos and
Geoffrey Irving and
Christian Szegedy and
Cezary Kaliszyk},
editor = {Thomas Eiter and
David Sands},
title = {Deep Network Guided Proof Search},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {85--105},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/8mwc},
doi = {10.29007/8MWC},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/LoosISK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MordvinovF17,
author = {Dmitry Mordvinov and
Grigory Fedyukovich},
editor = {Thomas Eiter and
David Sands},
title = {Synchronizing Constrained Horn Clauses},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {338--355},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/gr5c},
doi = {10.29007/GR5C},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MordvinovF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PhilippR17,
author = {Tobias Philipp and
Adri{\'{a}}n Rebola{-}Pardo},
editor = {Thomas Eiter and
David Sands},
title = {Towards a Semantics of Unsatisfiability Proofs with Inprocessing},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {65--84},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/7jgq},
doi = {10.29007/7JGQ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PhilippR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SyedaK17,
author = {Hira Taqdees Syeda and
Gerwin Klein},
editor = {Thomas Eiter and
David Sands},
title = {Reasoning about Translation Lookaside Buffers},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {490--508},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/c2f1},
doi = {10.29007/C2F1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SyedaK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2017,
editor = {Thomas Eiter and
David Sands},
title = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
year = {2017},
url = {https://easychair.org/publications/volume/LPAR-21},
timestamp = {Sat, 14 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2017.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-24 17:43 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:
