Safety for bisimulation in monadic second-order logic
M.J. Hollenberg
Safety for bisimulation in monadic second-order logic
In het kort
ISBN-13
9789039311486
Uitgever
Verschenen
1 juli 1996
Bibliografisch
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
Medewerkers
Auteur A01M.J. Hollenberg
Herkomst
Werk-id (NSTC)500807288
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
NSTC 500807288 · CB-relatie 8981163 · Bijgewerkt 6 augustus 2026









