Coalgebraic Epistemic Update without Change of Model
Coalgebraic Epistemic Update without Change of Model
158-172
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Sadrzadeh, Mehrnoosh
8378dbf9-bb16-483c-9380-6c329e299fea
Mossakowski, T.
a9f6ec3d-bca8-4b68-abd8-1c8fb0c9b2c2
2007
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Sadrzadeh, Mehrnoosh
8378dbf9-bb16-483c-9380-6c329e299fea
Mossakowski, T.
a9f6ec3d-bca8-4b68-abd8-1c8fb0c9b2c2
Cirstea, Corina and Sadrzadeh, Mehrnoosh
(2007)
Coalgebraic Epistemic Update without Change of Model.
Mossakowski, T.
(ed.)
2nd Conference on Algebra and Coalgebra in Computer Science, Bergen, Norway.
20 - 24 Aug 2007.
.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2007
Additional Information:
Event Dates: August 20-24
Venue - Dates:
2nd Conference on Algebra and Coalgebra in Computer Science, Bergen, Norway, 2007-08-20 - 2007-08-24
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 263863
URI: http://eprints.soton.ac.uk/id/eprint/263863
PURE UUID: 31b3510a-5385-4f4a-8c97-1d8332620f55
Catalogue record
Date deposited: 10 Apr 2007
Last modified: 15 Mar 2024 03:18
Export record
Contributors
Author:
Corina Cirstea
Author:
Mehrnoosh Sadrzadeh
Editor:
T. Mossakowski
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics