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/padl/padl2019.bht:"
download as .bib file
@inproceedings{DBLP:conf/padl/BasuSG20,
author = {Kinjal Basu and
Farhad Shakerin and
Gopal Gupta},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {AQuA: ASP-Based Visual Question Answering},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {57--72},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_4},
doi = {10.1007/978-3-030-39197-3\_4},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/BasuSG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BrikX20,
author = {Alex Brik and
Jeffrey Xu},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Diagnosing Data Pipeline Failures Using Action Languages: {A} Progress
Report},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {73--81},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_5},
doi = {10.1007/978-3-030-39197-3\_5},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/BrikX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ChanC20,
author = {Sheung Chi Chan and
James Cheney},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {20--36},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_2},
doi = {10.1007/978-3-030-39197-3\_2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/ChanC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ElsmanH20,
author = {Martin Elsman and
Niels Hallenberg},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {On the Effects of Integrating Region-Based Memory Management and Generational
Garbage Collection in {ML}},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {95--112},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_7},
doi = {10.1007/978-3-030-39197-3\_7},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/ElsmanH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ErikssonP20,
author = {Johannes Eriksson and
Masoumeh Parsa},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {A {DSL} for Integer Range Reasoning: Partition, Interval and Mapping
Diagrams},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {196--212},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_13},
doi = {10.1007/978-3-030-39197-3\_13},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/ErikssonP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ErwigKF20,
author = {Martin Erwig and
Prashant Kumar and
Alan Fern},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Explanations for Dynamic Programming},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {179--195},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_12},
doi = {10.1007/978-3-030-39197-3\_12},
timestamp = {Tue, 21 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/ErwigKF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FichteHTW20,
author = {Johannes Klaus Fichte and
Markus Hecher and
Patrick Thier and
Stefan Woltran},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Exploiting Database Management Systems and Treewidth for Counting},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {151--167},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_10},
doi = {10.1007/978-3-030-39197-3\_10},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/FichteHTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Janin20,
author = {David Janin},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {A Timed {IO} Monad},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {131--147},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_9},
doi = {10.1007/978-3-030-39197-3\_9},
timestamp = {Tue, 21 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/Janin20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NguyenPS20,
author = {Thanh Hai Nguyen and
Enrico Pontelli and
Tran Cao Son},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {On Repairing Web Services Workflows},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {37--53},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_3},
doi = {10.1007/978-3-030-39197-3\_3},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/NguyenPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NguyenZJXD20,
author = {Vinh T. Nguyen and
Yuanlin Zhang and
Kwanghee Jung and
Wanli Xing and
Tommy Dang},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {{VRASP:} {A} Virtual Reality Environment for Learning Answer Set Programming},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {82--91},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_6},
doi = {10.1007/978-3-030-39197-3\_6},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/NguyenZJXD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ShahinC20,
author = {Ramy Shahin and
Marsha Chechik},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Variability-Aware Datalog},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {213--221},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_14},
doi = {10.1007/978-3-030-39197-3\_14},
timestamp = {Tue, 21 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/ShahinC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ShakerinG20,
author = {Farhad Shakerin and
Gopal Gupta},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Whitebox Induction of Default Rules Using High-Utility Itemset Mining},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {168--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_11},
doi = {10.1007/978-3-030-39197-3\_11},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/ShakerinG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ShivkumarMZ20,
author = {Bhargav Shivkumar and
Jeffrey C. Murphy and
Lukasz Ziarek},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {RTMLton: An {SML} Runtime for Real-Time Systems},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {113--130},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_8},
doi = {10.1007/978-3-030-39197-3\_8},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/ShivkumarMZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/TarauB20,
author = {Paul Tarau and
Eduardo Blanco},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Interactive Text Graph Mining with a Prolog-based Dialog Engine},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {3--19},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_1},
doi = {10.1007/978-3-030-39197-3\_1},
timestamp = {Tue, 21 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/TarauB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AndersenS19,
author = {Kristoffer Just Arndal Andersen and
Ilya Sergey},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Distributed Protocol Combinators},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {169--186},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_11},
doi = {10.1007/978-3-030-05998-9\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/AndersenS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AriasC19,
author = {Joaqu{\'{\i}}n Arias and
Manuel Carro},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Incremental Evaluation of Lattice-Based Aggregates in Logic Programming
Using Modular {TCLP}},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {98--114},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_7},
doi = {10.1007/978-3-030-05998-9\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/AriasC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Bock19,
author = {Alexander Asp Bock},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Static Partitioning of Spreadsheets for Parallel Execution},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {221--237},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_14},
doi = {10.1007/978-3-030-05998-9\_14},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Bock19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Hanus19,
author = {Michael Hanus},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Improving Residuation in Declarative Programs},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {82--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_6},
doi = {10.1007/978-3-030-05998-9\_6},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Hanus19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/HippenL19,
author = {Nicholas Hippen and
Yuliya Lierler},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Automatic Program Rewriting in Non-Ground Answer Set Programs},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {19--36},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_2},
doi = {10.1007/978-3-030-05998-9\_2},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/HippenL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/KahramanE19,
author = {Muhammed Kerem Kahraman and
Esra Erdem},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Personalized Course Schedule Planning Using Answer Set Programming},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {37--45},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_3},
doi = {10.1007/978-3-030-05998-9\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/KahramanE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Lierler19,
author = {Yuliya Lierler},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Strong Equivalence and Program's Structure in Arguing Essential Equivalence
Between First-Order Logic Programs},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {1--18},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_1},
doi = {10.1007/978-3-030-05998-9\_1},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/Lierler19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NguyenSP19,
author = {Van Nguyen and
Tran Cao Son and
Enrico Pontelli},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Natural Language Generation from Ontologies},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {64--81},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_5},
doi = {10.1007/978-3-030-05998-9\_5},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/NguyenSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/PalmkvistB19,
author = {Viktor Palmkvist and
David Broman},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Creating Domain-Specific Languages by Composing Syntactical Constructs},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {187--203},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_12},
doi = {10.1007/978-3-030-05998-9\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/PalmkvistB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/PendharkarG19,
author = {Dhruva Pendharkar and
Gopal Gupta},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {An {ASP} Based Approach to Answering Questions for Natural Language
Text},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {46--63},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_4},
doi = {10.1007/978-3-030-05998-9\_4},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/PendharkarG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/PietersS19,
author = {Ruben P. Pieters and
Tom Schrijvers},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Faster Coroutine Pipelines: {A} Reconstruction},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {133--149},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_9},
doi = {10.1007/978-3-030-05998-9\_9},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/PietersS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/SchwaabKHFPWH19,
author = {Christopher Schwaab and
Ekaterina Komendantskaya and
Alasdair Hill and
Frantisek Farka and
Ronald P. A. Petrick and
Joe B. Wells and
Kevin Hammond},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Proof-Carrying Plans},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {204--220},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_13},
doi = {10.1007/978-3-030-05998-9\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/SchwaabKHFPWH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/SerranoM19,
author = {Alejandro Serrano and
Victor Cacciari Miraldo},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Classes of Arbitrary Kind},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {150--168},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_10},
doi = {10.1007/978-3-030-05998-9\_10},
timestamp = {Tue, 19 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/SerranoM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Tarau19,
author = {Paul Tarau},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {A Combinatorial Testing Framework for Intuitionistic Propositional
Theorem Provers},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {115--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_8},
doi = {10.1007/978-3-030-05998-9\_8},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/Tarau19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2019,
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9},
doi = {10.1007/978-3-030-05998-9},
isbn = {978-3-030-05997-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2019.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-07-29 09:00 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:
