Coalgebraic Epistemic Update without Change of Model
C. Cirstea and M. Sadrzadeh
Details
| Journal |
LNCS‚ CALCO‚ Bergen‚ August 2007. |
| Series |
Lecture Notes in Computer Science |
| Year |
2007 |
Links
Related pages
|
People |