Options
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?“.
Faculty/Professorship:
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
published:
April 30, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/3806