CIC:Bert95b

Didier Bert, Rachid Echahed. Abstraction of conditional term rewriting systems. In Proc. of the International Symposium on Logic Programming, ILPS-95, J. Lloyd (ed.), Pages 162-176, Portland, Oregon (USA), 1995.

Contact

Didier Bert

Référence BibTex

@InProceedings{CIC:Bert95b,
   Author = {Bert, Didier and Echahed, Rachid},
   Title = {{Abstraction of conditional term rewriting systems}},
   BookTitle = {Proc. of the International Symposium on Logic Programming, ILPS-95},
   editor = {Lloyd, J.},
   Pages = {162--176},
   Publisher = {MIT Press},
   Address = {Portland, Oregon (USA)},
   Year = {1995}
}

Référence EndNote [help]

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