Is observational congruence on µ-expressions axiomatisable in equational horn logic?
Mendler, Michael; Lüttgen, Gerald (2010): Is observational congruence on µ-expressions axiomatisable in equational horn logic?, in: Information and computation, S. 634–651.
Faculty/Chair:
Author:
 ; 
Title of the Journal:
Information and computation
Conference:
18th International Conference on Concurrency Theory (CONCUR 2007)
Year of publication:
2010
Volume:
208
Issue:
6 = Special Issue: 18th International Conference on Concurrency Theory (CONCUR 2007)
Pages:
Language:
English
Type:
Conferenceobject
URI:
Activation date:
April 30, 2014

Question on publication

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