Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

29th WLP 2015 / 30th WLP 2016 / 24th WFLP 2016: Dresden and Leipzig, Germany

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/SchwarzV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SchwarzV17
Sibylle Schwarz, Janis Voigtländer:
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. EPTCS 234, 2017
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Seipel17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Seipel17
Dietmar Seipel:
Knowledge Engineering for Hybrid Deductive Databases. 1-12
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BrassS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrassS17
Stefan Brass, Heike Stephan:
Bottom-Up Evaluation of Datalog: Preliminary Report. 13-26
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Kulas17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Kulas17
Marija Kulas:
A Practical View on Renaming. 27-41
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NogatzS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NogatzS17
Falco Nogatz, Dietmar Seipel:
Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts. 42-56
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BrassS17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrassS17a
Stefan Brass, Heike Stephan:
Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation. 57-72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KringsL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KringsL17
Sebastian Krings, Michael Leuschel:
Constraint Logic Programming over Infinite Domains with an Application to Proof. 73-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FledererOSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FledererOSM17
Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro:
Source Code Verification for Embedded Systems using Prolog. 88-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HanusK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HanusK17
Michael Hanus, Julia Krone:
A Typeful Integration of SQL into Curry. 104-119
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GallardoLP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GallardoLP17
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo:
A Simulation Tool for tccp Programs. 120-134
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HemannF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HemannF17
Jason Hemann, Daniel P. Friedman:
A Framework for Extending microKanren with Constraints. 135-149
- view
  authority control:
- export record
  dblp key:
  - journals/corr/WidemannL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WidemannL17
Baltasar Trancón y Widemann, Markus Lepper:
A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. 150-164
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Schiller17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Schiller17
Lukas Immanuel Schiller:
An Agglomeration Law for Sorting Networks and its Application in Functional Programming. 165-179
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AntoyHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AntoyHL17
Sergio Antoy, Michael Hanus, Steven Libby:
Proving Non-Deterministic Computations in Agda. 180-195

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.