Pierre-Etienne Moreau | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Horatiu Cirstea
4 publications
Serguei Lenglet
4 publications

research

∙ 05/14/2019

Generic Encodings of Constructor Rewriting Systems

Rewriting is a formalism widely used in computer science and mathematica...

0 Horatiu Cirstea, et al. ∙

research

∙ 05/24/2017

Faithful (meta-)encodings of programmable strategies into term rewriting systems

Rewriting is a formalism widely used in computer science and mathematica...

0 Horatiu Cirstea, et al. ∙