Clemens Ley : Publications
-
[1]
On the use of guards for logics with data
Thomas Colcombet‚ Clemens Ley and Gabriele Puppis
2011.
Details about On the use of guards for logics with data | BibTeX data for On the use of guards for logics with data | Download (pdf) of On the use of guards for logics with data
-
[1]
Automata vs. Logics on Data Words
Michael Benedikt‚ Clemens Ley and Gabriele Puppis
2010.
Details about Automata vs. Logics on Data Words | BibTeX data for Automata vs. Logics on Data Words | Download (pdf) of Automata vs. Logics on Data Words
-
[2]
What You Must Remember When Processing Data Words
Michael Benedikt‚ Clemens Ley and Gabriele Puppis
2010.
Details about What You Must Remember When Processing Data Words | BibTeX data for What You Must Remember When Processing Data Words | Download (pdf) of What You Must Remember When Processing Data Words
-
[3]
Minimal Memory Automata
Michael Benedikt‚ Clemens Ley and Gabriele Puppis
2010.
Long version of ‘What You Must Remember When Processing Data Words'.
Details about Minimal Memory Automata | BibTeX data for Minimal Memory Automata | Download (pdf) of Minimal Memory Automata
-
[4]
How Big Must Complete XML Query Languages Be?
Clemens Ley and Michael Benedikt
2009.
Details about How Big Must Complete XML Query Languages Be? | BibTeX data for How Big Must Complete XML Query Languages Be? | Download (pdf) of How Big Must Complete XML Query Languages Be?
-
[5]
Datalog Relaunched: Simulation Unification and Value Invention
François Bry‚ Tim Furche‚ Bruno Marnette‚ Clemens Ley‚ Benedikt Linse and Olga Poppe
2011.
Details about Datalog Relaunched: Simulation Unification and Value Invention | BibTeX data for Datalog Relaunched: Simulation Unification and Value Invention | Download (pdf) of Datalog Relaunched: Simulation Unification and Value Invention
-
[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.
Details about SPARQLog: SPARQL with Rules and Quantification | BibTeX data for SPARQLog: SPARQL with Rules and Quantification | Download (pdf) of SPARQLog: SPARQL with Rules and Quantification
-
[7]
RDFLog: It's like Datalog for RDF
Francois Bry‚ Tim Furche‚ Clemens Ley‚ Benedikt Linse and Bruno Marnette
2008.
Details about RDFLog: It's like Datalog for RDF | BibTeX data for RDFLog: It's like Datalog for RDF | Download (pdf) of RDFLog: It's like Datalog for RDF
-
[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.
Details about Foundations of Rule−Based Query Answering | BibTeX data for Foundations of Rule−Based Query Answering | Download (pdf) of Foundations of Rule−Based Query Answering