Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Alternating Epistemic Mu-Calculus
Bulling, N.; Jamroga, Wojciech
2011In Proceedings of IJCAI-11
Peer reviewed
 

Files


Full Text
atl_validities.pdf
Author preprint (1.19 MB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2011-364
Author, co-author :
Bulling, N.
Jamroga, Wojciech ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Language :
English
Title :
Alternating Epistemic Mu-Calculus
Publication date :
2011
Event name :
IJCAI-11
Event date :
2011
Audience :
International
Main work title :
Proceedings of IJCAI-11
Pages :
109–114
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 18 November 2013

Statistics


Number of views
54 (1 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
27
Scopus citations®
without self-citations
13

Bibliography


Similar publications



Contact ORBilu