Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WLP/WFLP"( http://dblp.L3S.de/Venues/WLP/WFLP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/wlp

Publication years (Num. hits)
2014 (12) 2015 (1)
Publication types (Num. hits)
inproceedings(12) proceedings(1)
Venues (Conferences, Journals, ...)
WLP/WFLP(13)
Authors
Johannes Waldmann(3) Michael Hanus(3) Dietmar Seipel(2) Alexander Bau(1) Baltasar Trancón y Widemann(1) Björn Peemöller(1) Frank Flederer(1) Giorgos Flouris(1) Ján Sefránek(1) Janis Voigtländer(1) Joachim Baumeister(1) Jozef Frtús(1) Klaus Prätor(1) Ludwig Ostermayer(1) Markus Lepper 0001(1) Martin Baláz(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stefan Brass, Johannes Waldmann (eds.) Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014. Search on Bibsonomy WLP/WFLP The full citation details ... 2015 DBLP  BibTeX  RDF
1Dietmar Seipel, Joachim Baumeister, Klaus Prätor Declarative Evaluation of Ontologies with Rules. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Taïeb Mellouli Complex Certainty Factors for Rule Based Systems - Detecting Inconsistent Argumentations. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Tobias Gödderz, Janis Voigtländer Automatic Testing of Operation Invariance. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Hanus Declarative Multi-paradigm Programming. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Johannes Waldmann Automated Exercises for Constraint Programming. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Martin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris Embedding Defeasible Logic Programs into Generalized Logic Programs. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Alexander Bau, Johannes Waldmann Describing and Measuring the Complexity of SAT encodings for Constraint Programs. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Ludwig Ostermayer, Frank Flederer, Dietmar Seipel PPI - A Portable Prolog Interface for Java. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Hanus, Björn Peemöller A Partial Evaluator for Curry. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Sergio Antoy, Michael Hanus Curry without Success. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Baltasar Trancón y Widemann, Markus Lepper 0001 Interpreting XPath by Iterative Pattern Matching with Paisley. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
1Nikita Danilenko Exploring Non-Determinism in Graph Algorithms. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license