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

By Burmeister P.   Rossello F.   Torrens J.   Valiente G.  

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

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

Computation by 'While' programs on topological partial algebras

By Tucker J.V.   Zucker J.I.  

Theoretical Computer Science, Vol. 219, Iss. 1, 1999-05 ,pp. : 379-420

Elsevier

Access to resources Recommend Favorite

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

Restriction categories I: categories of partial maps

By Cockett  

Theoretical Computer Science, Vol. 270, Iss. 1, 2002-01 ,pp. : 223-259

Elsevier

Access to resources Recommend Favorite