págs. 947-988
págs. 989-1047
págs. 1049-1083
págs. 1085-1131
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
Hartmut Ehrig, Bárbara Konig
págs. 1133-1163
© 2008-2024 Fundación Dialnet · Todos los derechos reservados