CIC:Bert95d

Didier Bert, Rachid Echahed. On the operational semantics of the algebraic and logic language LPG. In Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, selected papers, LNCS, Volume 906, Pages 132-152, 1995.

Contact

Didier Bert

BibTex Reference

@InProceedings{CIC:Bert95d,
   Author = {Bert, Didier and Echahed, Rachid},
   Title = {{On the operational semantics of the algebraic and logic language LPG}},
   BookTitle = {Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, selected papers},
   Volume = {906},
   Pages = {132--152},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)