RSS 1.0 Feed
RSS 2.0 Feed
Atom Feed
 

Algebra and Sequent Calculus for Epistemic Actions

Baltag, A., Coecke, B. and Sadrzadeh, M. (2005) Algebra and Sequent Calculus for Epistemic Actions. Electronic Notes in Theoretical Computer Science, 126 . pp. 27-52.

Download

[img]
Preview
PDF
273Kb

Creators:Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
Editors:Erik De Vink, Alessio Lomuscio, Wiebe Van der Hoek, Michael Wooldridge
Item Type:Article
Research Group:Dependable Systems and Software Engineering Research Group
Deposited On:25 Jan 2006 by Sadrzadeh, Mehrnoosh
ID Code:11809
Last Modified:11 Nov 2009 12:25
Performance Indicator:EZ~03~01~11

Tools

Metadata

Download Statistics

Last month

Last year

Members of ECS may view the download statistics dashboard for this record.

Corrections

ECS staff and postgraduates may modify this record

  Welcome from Deputy Head of School (Research) Research Prospectus Industrial Partnerships New Research Students Notes for Guidance New Research Students Notes for Guidance
The ECS EPrints Repository supports OAI 2.0 with a base URL of http://eprints.ecs.soton.ac.uk/cgi/oai2

EPrints is free software developed by the University of Southampton to facilitate Open Access to research.
EPrints