Clemens Ley : Publications
Personal orderingBibtex
|
[1] |
On the use of guards for logics with data Thomas Colcombet‚ Clemens Ley and Gabriele Puppis 2011. |
|
[1] |
Automata vs. Logics on Data Words Michael Benedikt‚ Clemens Ley and Gabriele Puppis 2010. |
|
[2] |
What You Must Remember When Processing Data Words Michael Benedikt‚ Clemens Ley and Gabriele Puppis 2010. |
|
[3] |
Minimal Memory Automata Michael Benedikt‚ Clemens Ley and Gabriele Puppis 2010. Long version of ‘What You Must Remember When Processing Data Words'. |
|
[4] |
How Big Must Complete XML Query Languages Be? Clemens Ley and Michael Benedikt 2009. |
|
[5] |
Datalog Relaunched: Simulation Unification and Value Invention François Bry‚ Tim Furche‚ Bruno Marnette‚ Clemens Ley‚ Benedikt Linse and Olga Poppe 2011. |
|
[6] |
SPARQLog: SPARQL with Rules and Quantification François Bry‚ Tim Furche‚ Bruno Marnette‚ Clemens Ley‚ Benedikt Linse and Olga Poppe In Semantic Web Information Management A Model−Based Perspective. Chapter 15. Pages 341−370. Springer. 2010. |
|
[7] |
RDFLog: It's like Datalog for RDF Francois Bry‚ Tim Furche‚ Clemens Ley‚ Benedikt Linse and Bruno Marnette 2008. |
|
[8] |
Foundations of Rule−Based Query Answering François Bry‚ Norbert Eisinger‚ Thomas Eiter‚ Tim Furche‚ Georg Gottlob‚ Clemens Ley‚ Benedikt Linse‚ Reinhard Pichler and Fang Wei In Grigoris Antoniou‚ Uwe Aßmann‚ Cristina Baroglio‚ Stefan Decker‚ Nicola Henze‚ Paula−Lavinia Patranjan and Robert Tolksdorf, editors, Reasoning Web. Vol. 4636 of Lecture Notes in Computer Science. Pages 1−153. Springer. 2007. |