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
Mendler, Michael (2002): 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, in: Rajeev GorĂ© und Michael Mendler (Hrsg.), Bamberg: Otto-Friedrich-Univ.
Faculty/Chair:
Author:
Editor:
 ; 
Conference:
2nd International Workshop on Intuitionistic Modal Logic and Applications, 2002 ; Kobenhavn
Publisher Information:
Year of publication:
2002
Pages:
Series ; Volume:
Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik ; 61 
Language:
English
Type:
Conferenceobject
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/7837