Anthony Lick

According to our database, Anthony Lick authored at least 5 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Logique de requêtes à la XPath: systèmes de preuve et pretinence pratique. (XPath-like Query Logics: Proof Systems and Real-World Applicability).

Anthony Lick

PhD thesis, 2019

A Hypersequent Calculus with Clusters for Data Logic over Ordinals.

Anthony Lick

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Decidable XPath Fragments in the Real World.

David Baelde, Anthony Lick, Sylvain Schmitz

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

2018

A Hypersequent Calculus with Clusters for Tense Logic over Ordinals.

David Baelde, Anthony Lick, Sylvain Schmitz

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

A Hypersequent Calculus with Clusters for Linear Frames.

David Baelde, Anthony Lick, Sylvain Schmitz

Proceedings of the Advances in Modal Logic 12, 2018