Is observational congruence on µ-expressions axiomatisable in equational horn logic?
Mendler, Michael; Lüttgen, Gerald (2007): Is observational congruence on µ-expressions axiomatisable in equational horn logic?, Bamberg.
Faculty/Chair:
Author:
 ; 
Corporate Body:
Fak. Wirtschaftsinformatik und Angewandte Informatik, Otto-Friedrich-Univ.
Publisher Information:
Year of publication:
2007
Pages:
Series ; Volume:
Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik ; 72 
Language:
English
Type:
Book
URI:
Activation date:
September 24, 2014

Question on publication

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