RA:Bert95e

Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. Rapport de recherche IMAG-LGI, 1995.

Contact

Didier Bert

Référence BibTex

@TechReport{RA:Bert95e,
   Author = {Bert, Didier and Echahed, Rachid},
   Title = {{Abstraction of conditional term rewriting systems}},
   Institution = {IMAG-LGI},
   Year = {1995}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)