Anthony Lick

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 4

Top Topics

Fuzzy Clustering

Formal Language

Relation Algebra

Top Venues

Advances in Modal Logic

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Anthony Lick
A Hypersequent Calculus with Clusters for Data Logic over Ordinals. TABLEAUX (2019)
David Baelde, Anthony Lick, Sylvain Schmitz
Decidable XPath Fragments in the Real World. PODS (2019)
David Baelde, Anthony Lick, Sylvain Schmitz
A Hypersequent Calculus with Clusters for Linear Frames. Advances in Modal Logic (2018)
David Baelde, Anthony Lick, Sylvain Schmitz
A Hypersequent Calculus with Clusters for Tense Logic over Ordinals. FSTTCS (2018)