Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs234.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/AntoyHL17,
  author       = {Sergio Antoy and
                  Michael Hanus and
                  Steven Libby},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {Proving Non-Deterministic Computations in Agda},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {180--195},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.13},
  doi          = {10.4204/EPTCS.234.13},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AntoyHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BrassS17,
  author       = {Stefan Brass and
                  Heike Stephan},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {Bottom-Up Evaluation of Datalog: Preliminary Report},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {13--26},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.2},
  doi          = {10.4204/EPTCS.234.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BrassS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BrassS17a,
  author       = {Stefan Brass and
                  Heike Stephan},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {Experiences with Some Benchmarks for Deductive Databases and Implementations
                  of Bottom-Up Evaluation},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {57--72},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.5},
  doi          = {10.4204/EPTCS.234.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BrassS17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/FledererOSM17,
  author       = {Frank Flederer and
                  Ludwig Ostermayer and
                  Dietmar Seipel and
                  Sergio Montenegro},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {Source Code Verification for Embedded Systems using Prolog},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {88--103},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.7},
  doi          = {10.4204/EPTCS.234.7},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/FledererOSM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GallardoLP17,
  author       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Leticia Lavado and
                  Laura Panizo},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {A Simulation Tool for tccp Programs},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {120--134},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.9},
  doi          = {10.4204/EPTCS.234.9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GallardoLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HanusK17,
  author       = {Michael Hanus and
                  Julia Krone},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {A Typeful Integration of {SQL} into Curry},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {104--119},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.8},
  doi          = {10.4204/EPTCS.234.8},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HanusK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HemannF17,
  author       = {Jason Hemann and
                  Daniel P. Friedman},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {A Framework for Extending microKanren with Constraints},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {135--149},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.10},
  doi          = {10.4204/EPTCS.234.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HemannF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/KringsL17,
  author       = {Sebastian Krings and
                  Michael Leuschel},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {Constraint Logic Programming over Infinite Domains with an Application
                  to Proof},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {73--87},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.6},
  doi          = {10.4204/EPTCS.234.6},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/KringsL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Kulas17,
  author       = {Marija Kulas},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {A Practical View on Renaming},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {27--41},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.3},
  doi          = {10.4204/EPTCS.234.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Kulas17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/NogatzS17,
  author       = {Falco Nogatz and
                  Dietmar Seipel},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {Implementing GraphQL as a Query Language for Deductive Databases in
                  SWI-Prolog Using DCGs, Quasi Quotations, and Dicts},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {42--56},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.4},
  doi          = {10.4204/EPTCS.234.4},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NogatzS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Schiller17,
  author       = {Lukas Immanuel Schiller},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {An Agglomeration Law for Sorting Networks and its Application in Functional
                  Programming},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {165--179},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.12},
  doi          = {10.4204/EPTCS.234.12},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Schiller17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Seipel17,
  author       = {Dietmar Seipel},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {Knowledge Engineering for Hybrid Deductive Databases},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {1--12},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.1},
  doi          = {10.4204/EPTCS.234.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Seipel17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/WidemannL17,
  author       = {Baltasar Tranc{\'{o}}n y Widemann and
                  Markus Lepper},
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {A Practical Study of Control in Objected-Oriented-Functional-Logic
                  Programming with Paisley},
  booktitle    = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  pages        = {150--164},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234.11},
  doi          = {10.4204/EPTCS.234.11},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WidemannL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/SchwarzV17,
  editor       = {Sibylle Schwarz and
                  Janis Voigtl{\"{a}}nder},
  title        = {Proceedings 29th and 30th Workshops on (Constraint) Logic Programming
                  and 24th International Workshop on Functional and (Constraint) Logic
                  Programming, {WLP} 2015 / {WLP} 2016 / {WFLP} 2016, Dresden and Leipzig,
                  Germany, 22nd September 2015 and 12-14th September 2016},
  series       = {{EPTCS}},
  volume       = {234},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.234},
  doi          = {10.4204/EPTCS.234},
  timestamp    = {Wed, 09 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SchwarzV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.