Previous |  Up |  Next


Title: Selfgenerating sequences and different types of computational devices [Abstract of thesis] (English)
Author: Kršňáková, Jana
Language: English
Journal: Commentationes Mathematicae Universitatis Carolinae
ISSN: 0010-2628 (print)
ISSN: 1213-7243 (online)
Volume: 30
Issue: 1
Year: 1989
Pages: 201
Category: math
MSC: 03D60
MSC: 68Q85
idZBL: Zbl 0682.68076
Date available: 2008-06-05T21:38:03Z
Last updated: 2012-04-28
Stable URL:
Reference: [1] Carstensen H.: Decidability questions for fairness in Petri nets.Proc. STACS'87, LNCS 247 Springer (1987). Zbl 0629.68063, MR 0900469
Reference: [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). Zbl 0655.68072, MR 1025820


Files Size Format View
CommentatMathUnivCarol_030-1989-1_37.pdf 169.8Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo