Travelled to:
1 × Germany
Collaborated with:
F.Rosselló H.Ehrig R.Heckel F.Orejas J.Padberg G.Rozenberg
Talks about:
complement (1) incomplet (1) framework (1) arbitrari (1) pullback (1) transit (1) pushout (1) partial (1) algebra (1) inform (1)
Person: Mercè Llabrés
DBLP: Llabr=eacute=s:Merc=egrave=
Contributed to:
Wrote 2 papers:
- TAGT-1998-EhrigHLOPR #framework #graph #rule-based
- Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (HE, RH, ML, FO, JP, GR), pp. 85–102.
- TAGT-1998-LlabresR #algebra #category theory
- Pushout Complements for Arbitrary Partial Algebras (ML, FR), pp. 131–144.