Safety for bisimulation in monadic second-order logic

Bibliographische Detailangaben

1. Verfasser:	Hollenberg, Marco J. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Utrecht Dep. of Philos. 1996
Schriftenreihe:	Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series 170
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!