Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples.
Bruno Courcelle, Gilles Kahn, Jean Vuillemin
Browse the full ICALP paper archive.
Bruno Courcelle, Gilles Kahn, Jean Vuillemin
Browse the full ICALP paper archive.