Showing 1 - 1 results of 1 for search 'Pierre-Etienne Moreau', query time: 0.02s
Refine Results
-
1
Faithful (meta-)encodings of programmable strategies into term rewriting systems by Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau
Published 2017-11-01
Article