C. Lair, Etude G'en'erale de la Cat'egorie des esquisses, Esquisses Math. 24 (1974). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Mapping Tile Logic into Rewriting Logic - Meseguer, al. (1998) (11 citations) (Correct)
....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 would yield a notion of ....
C. Lair, Etude G'en'erale de la Cat'egorie des esquisses, Esquisses Math. 24 (1974).
Process and Term Tile Logic - Bruni, Meseguer, Monzanari (1998) (Correct)
.... A B constitute a poset category of canonical inclusions, it is possible to define the category PAlg T (PAlg T 0 ) for any two theories T = Omega ; Gamma) and T 0 = Omega 0 ; Gamma 0 ) Moreover, in a way analogous to algebraic theories [45, 29] to lim theories [31] and to sketches [42], in [58] the construction of a tensor theory T Omega T 0 in partial membership equational logic is given such that PAlg T Omega T 0 PAlg T (PAlg T 0 ) PAlg T 0 (PAlg T ) Notice that we could have chosen a bigger poset of subalgebra inclusions, yielding a looser definition of PAlg T ....
C. Lair. Etude G'en'erale de la Cat'egorie des esquisses. Esquisses Math. 24. 1974.
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