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

Publisher： Elsevier

ISSN： 0304-3975

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

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

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

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

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

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

Hazard Algebras

By Brzozowski J. Ésik Z.

Formal Methods in System Design, Vol. 23, Iss. 3, 2003-11 ,pp. : 223-256

Springer Publishing Company

Access to resources Recommend Favorite