Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/97487

Classes of term rewrite systems with polynomial confluence problems
Godoy Balil, Guillem; Nieuwenhuis, Robert Lukas Mario
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals; Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
-Àrees temàtiques de la UPC::Informàtica::Programació
-Confluence property of ground
-GTRS
-Term rewrite systems
-Polynomial confluence
Article - Versió publicada
Informe
         

Mostra el registre complet del document

Documents relacionats

Altres documents del mateix autor/a

Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
Abío Roig, Ignasi; Deters, Morgan; Nieuwenhuis, Robert Lukas Mario; Stuckey, Peter
Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric
Abío Roig, Ignasi; Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Stuckey, Peter