Is observational congruence on m-expressions axiomatisable in equational horn logic?

Bibliographische Detailangaben

1. Verfasser:	Mendler, Michael (VerfasserIn)
Weitere Verfasser:	Lüttgen, Gerald (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Bamberg Otto-Friedrich-Univ. 2007
Schriftenreihe:	Bamberger Beiträge zur Wirtschaftsinformatik und angewandten Informatik 72
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!