Geodesic
Selfgenerating sequences and different types of computational devices [Abstract of thesis]
Commentationes Mathematicae Universitatis Carolinae, Tome 30 (1989) no. 1, p. 201 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03D60, 68Q85 
@article{CMUC_1989_30_1_a36,
     author = {Kr\v{s}\v{n}\'akov\'a, Jana},
     title = {Selfgenerating sequences and different types of computational devices {[Abstract} of thesis]},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {201},
     year = {1989},
     volume = {30},
     number = {1},
     zbl = {0682.68076},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1989_30_1_a36/}
}
TY  - JOUR
AU  - Kršňáková, Jana
TI  - Selfgenerating sequences and different types of computational devices [Abstract of thesis]
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1989
SP  - 201
VL  - 30
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1989_30_1_a36/
LA  - en
ID  - CMUC_1989_30_1_a36
ER  - 
%0 Journal Article
%A Kršňáková, Jana
%T Selfgenerating sequences and different types of computational devices [Abstract of thesis]
%J Commentationes Mathematicae Universitatis Carolinae
%D 1989
%P 201
%V 30
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1989_30_1_a36/
%G en
%F CMUC_1989_30_1_a36
Kršňáková, Jana. Selfgenerating sequences and different types of computational devices [Abstract of thesis]. Commentationes Mathematicae Universitatis Carolinae, Tome 30 (1989) no. 1, p. 201. http://geodesic.mathdoc.fr/item/CMUC_1989_30_1_a36/

[1] Carstensen H.: Decidability questions for fairness in Petri nets. Proc. STACS'87, LNCS 247 Springer (1987). | MR | Zbl

[2] Howell R., Rosier L., Yen H.: A taxonomy of fairness and temporal logic problems for Petri nets. Proc. MFCS'88, LNCS 324 Springer (1988). | MR | Zbl