Pregled bibliografske jedinice broj: 968733
MAXIMAL BISIMULATION ALGORITHM
MAXIMAL BISIMULATION ALGORITHM // First Croatian Congress of Mathematics
Zagreb: Hrvatsko matematičko društvo, 1996. str. 55-55 (predavanje, podatak o recenziji nije dostupan, sažetak, znanstveni)
CROSBI ID: 968733 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
MAXIMAL BISIMULATION ALGORITHM
Autori
Čulina, Boris
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
First Croatian Congress of Mathematics
/ - Zagreb : Hrvatsko matematičko društvo, 1996, 55-55
Skup
First Croatian Congress of Mathematics
Mjesto i datum
Zagreb, Hrvatska, 18.06.1996. - 20.06.1996
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Podatak o recenziji nije dostupan
Ključne riječi
Maximal bisimulation ; Non-well_founded sets ; algorithm
(Maximal bisimulation ; algorithm)
Sažetak
The question of equality of non-well-founded sets is considered the algorithm for finding maximal bisimulation and strong extensional quotient of finite graphs is given
Izvorni jezik
Engleski
Znanstvena područja
Matematika
