Login / Signup
Jerémie Dimino
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 2
Top Topics
Spatio Temporal
First Order Logic
Data Sources
Small Number
Top Venues
Proc. ACM Program. Lang.
Log. Methods Comput. Sci.
</>
Publications
</>
Andrey Mokhov
,
Georgy Lukyanov
,
Simon Marlow
,
Jerémie Dimino
Selective applicative functors.
Proc. ACM Program. Lang.
3 (ICFP) (2019)
Florent Jacquemard
,
Luc Segoufin
,
Jerémie Dimino
FO2(<, +1, ~) on data trees, data tree automata and branching vector addition systems.
Log. Methods Comput. Sci.
12 (2) (2016)