P. Gabriel and F. Ulmer. . Springer Lecture Notes in Mathematics No. 221, 1971. This article was processed using the LT E X macro package with LLNCS style  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Mapping Tile Logic into Rewriting Logic - Meseguer, al. (1998) (11 citations) (Correct)
....and each partial ary operation in will be interpreted as a subalgebra inclusion ( together with a homomorphism ( Furthermore, in order for these interpretations to yield a algebra structure in , the axioms must be satisfied. In a way analogous to algebraic theories [25, 17] to lim theories [40] and to sketches [23] there is then a theory in partial membership equational logic such that ( Notice that we could have chosen a bigger poset of subalgebra inclusions, yielding a looser definition of ( A natural choice for would have been the set of weak subalgebra inclusions. This ....
P. Gabriel and F. Ulmer. . Springer Lecture Notes in Mathematics No. 221, 1971. This article was processed using the LT E X macro package with LLNCS style
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC