Novi Sad Journal of Mathematics, Tome 29 (1999) no. 2
Citer cet article
M.
Blažević; Z. Budimac; M. Ivanović. Formal
specification of a graph rewriting system with environments. Novi Sad Journal of Mathematics, Tome 29 (1999) no. 2. http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_3/
@article{NSJOM_1999_29_2a_3,
author = {M.
Bla\v{z}evi\'c and Z. Budimac and M. Ivanovi\'c},
title = {Formal
specification of a graph rewriting system with environments},
journal = {Novi Sad Journal of Mathematics},
pages = {13-27},
year = {1999},
volume = {29},
number = {2},
url = {http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_3/}
}
TY - JOUR
AU - M.
Blažević
AU - Z. Budimac
AU - M. Ivanović
TI - Formal
specification of a graph rewriting system with environments
JO - Novi Sad Journal of Mathematics
PY - 1999
SP - 13
EP - 27
VL - 29
IS - 2
UR - http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_3/
ID - NSJOM_1999_29_2a_3
ER -
%0 Journal Article
%A M.
Blažević
%A Z. Budimac
%A M. Ivanović
%T Formal
specification of a graph rewriting system with environments
%J Novi Sad Journal of Mathematics
%D 1999
%P 13-27
%V 29
%N 2
%U http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_3/
%F NSJOM_1999_29_2a_3
