Reference : Alternating Epistemic Mu-Calculus
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/11184
Alternating Epistemic Mu-Calculus
English
Bulling, N. [> >]
Jamroga, Wojciech mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
2011
Proceedings of IJCAI-11
109–114
Yes
No
International
IJCAI-11
2011
http://hdl.handle.net/10993/11184

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
atl_validities.pdfAuthor preprint1.16 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.