A modal logic for myCRL

Bibliographische Detailangaben

Hauptverfasser:	Groote, Jan F. (VerfasserIn), Vlijmen, S. F. van (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Utrecht Dep. of Philosophy, Utrecht Univ. 1994
Schriftenreihe:	Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series 114
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!