Options
Is observational congruence axiomatisable in equational horn logic?
Mendler, Michael; Lüttgen, Gerald (2007): Is observational congruence axiomatisable in equational horn logic?, in: Luís Caires, Luís Caires, und Luís Caires (Hrsg.), CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings, Berlin u.a., S. 197–211, doi: 10.1007/978-3-540-74407-8.
Faculty/Chair:
Author:
Title of the compilation:
CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings
Editors:
Caires, Luís
Conference:
18th international conference, CONCUR 2007, September 3-8, 2007 ; Lisbon, Portugal
Publisher Information:
Year of publication:
2007
Pages:
Series ; Volume:
Lecture notes in computer science ; 4703
Language:
English
Type:
Conferenceobject
Activation date:
September 24, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/18098