Vincent Tourneur

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 2

Top Topics

Grammar Induction

Selection Algorithm

Space Complexity

Top Venues

Publications

Maxime Guillaume, Sylvain Pogodalla, Vincent Tourneur
ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars. FLOPS (2024)
Sylvie Boldo, Florian Faissole, Vincent Tourneur
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers. ARITH (2018)