کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9651037 | 666442 | 2005 | 32 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The uniqueness condition for the double pushout transformation of algebras
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: The uniqueness condition for the double pushout transformation of algebras The uniqueness condition for the double pushout transformation of algebras](/preview/png/9651037.png)
چکیده انگلیسی
The double pushout approach to the algebraic graph transformation of hypergraphs was invented 30 years ago and it has been generalized since then to more general objects, like for instance relational systems or total and partial unary algebras. We have recently introduced the double pushout transformation of partial and partly total algebras over an arbitrary signature. In this paper we study the uniqueness condition for these rewriting formalisms, which turns out to be given by a suitable generalization to partial algebras of the well known congruence extension property for total algebras.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volume 171, Issues 1â3, 4 March 2005, Pages 93-124
Journal: Information Sciences - Volume 171, Issues 1â3, 4 March 2005, Pages 93-124
نویسندگان
M. Llabrés, F. Rosselló,