Algebraic transformation of urinary partial algebras I. Double-pushout approach

Author： Burmeister P. Rossello F. Torrens J. Valiente G.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.184, Iss.1, 1997-09, pp. : 145-193

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Algebraic transformation of unary partial algebras II: Single-pushout approach

By Burmeister P. Monserrat M. Rossello F. Valiente G.

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 311-362

Elsevier

Access to resources Recommend Favorite

Locating the contractum in the double pushout approach

By Banach R.

Theoretical Computer Science, Vol. 152, Iss. 2, 1995-12 ,pp. : 305-320

Elsevier

Access to resources Recommend Favorite

Paracategories I: internal paracategories and saturated partial algebras

By Hermida C. Mateus P.

Theoretical Computer Science, Vol. 309, Iss. 1, 2003-12 ,pp. : 125-156

Elsevier

Access to resources Recommend Favorite

An algebraic generalization of Frege structures - binding algebras

By Sun Y.

Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. : 189-232

Elsevier

Access to resources Recommend Favorite

A functorial semantics for multi-algebras and partial algebras, with applications to syntax

By Corradini A. Gadducci F.

Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. : 293-322

Elsevier

Access to resources Recommend Favorite