Thomas Place

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 48

Top Topics

Anti Unification

Regular Languages

Quantifier Elimination

Top Venues

Log. Methods Comput. Sci.

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications