Intuitionistic modal logic and applications (IMLA'02); workshop proceedings; LICS satellite workshop to the 3rd Federated Logic Conference, (FLoC'02), Copenhagen, DK, 26 July 2002

Bibliographische Detailangaben

Körperschaften:	IMLA (BerichterstatterIn), Federated Logic Conference (BerichterstatterIn), Symposium on Logic in Computer Science (BerichterstatterIn)
Weitere Verfasser:	Goré, Rajeev (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Bamberg Otto-Friedrich-Univ. 2002
Schriftenreihe:	Bamberger Beiträge zur Wirtschaftsinformatik und angewandten Informatik 61
Schlagworte:	Konferenzschrift > Modallogik
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!