Vivien Pelletier

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Rewrite Systems

General Logic Programs

Declarative Programming

Top Venues

University of Orléans, France (PHD)

Education History

University of Orléans, France

PHD

Publications

Yohan Boichut, Vivien Pelletier, Pierre Réty
Approximating Any Logic Program by a CS-Program. WRLA@ETAPS (2018)
Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty
Transforming Prefix-constrained or Controlled Rewrite Systems. SCSS (2017)
Yohan Boichut, Vivien Pelletier, Pierre Réty
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. WRLA (2016)