OXFORD UNIVERSITY COMPUTING LABORATORY

Relating Algebraic and Coalgebraic Logics of Knowledge and Update

C. Cirstea and M. Sadrzadeh

info

journal

LOFT, University of Liverpool, 2006.

publisher

University of Liverpool

series

Proceedings of the 7'th conference on Logic and the Foundations of Game and Decision Theory

year

2006

links

BibTeX

related pages

people

Random Image
Random Image
Random Image