česky | in English
Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
RIV/00216224:14330/05:00012580 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 4. 12. 2006 16:38.
Název česky: Zjemneni hranice nerozhodnutelnosti pro slabou bisimulaci
RIV/00216224:14330/05:00012581 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Křetínský, Mojmír (203 Česká republika, garant) -- Řehák, Vojtěch (203 Česká republika) -- Strejček, Jan (203 Česká republika)
Klíčová slova anglicky: process rewrite systems; state extension; infinite-state; (un)decidability; weak bisimulation
Mezinárodní význam: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 27. 11. 2006 15:12.
Název anglicky: Modifications of Expansion Trees for Weak Bisimulation in BPA
RIV/00216224:14330/02:00006476 Stať ve sborníku. Počítačový hardware a software. angličtina. Nizozemské království.
Černá, Ivana (203 Česká republika, garant) -- Stříbrná, Jitka (203 Česká republika)
Klíčová slova anglicky: process algebra; weak bisimulation; decidability
Mezinárodní význam: ano
Recenzováno: ano
Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 22. 11. 2006 15:07.
RIV/00216224:14330/99:00001706 Odborná kniha. Obecná matematika. angličtina. Česká republika.
Klíčová slova anglicky: basic process algebra; weak bisimulation; approximants; lower and upper bound
Změnila: Mgr. Jitka Stříbrná, Ph.D., učo 29038. Změněno: 31. 3. 2000 13:14.
RIV/00216224:14330/99:00001148 Stať ve sborníku. Obecná matematika. angličtina. Polsko.
Klíčová slova anglicky: basic process algebra; weak bisimulation; approximants; lower and upper bound
Změnila: Mgr. Jitka Stříbrná, Ph.D., učo 29038. Změněno: 31. 3. 2000 13:13.
Přír. čísla: 4200507239