2015

Conférence Internationale avec comité de lecture

• [BDJ15] G. Burel, G. Dowek, Y. Jiang. "A completion method to decide reachability in rewrite systems", 10th International Symposium on Frontiers of Combining Systems, September 2015, pp.--, Series LNAI, Wroclaw, Poland,