Geodesic
Formal specification of a graph rewriting system with environments
Novi Sad Journal of Mathematics, Tome 29 (1999) no. 2.

Voir la notice de l'article provenant de la source Novi sad journal of mathematics website

@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},
     publisher = {mathdoc},
     volume = {29},
     number = {2},
     year = {1999},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/NSJOM_1999_29_2a_3/
%F NSJOM_1999_29_2a_3
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/