Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation

C. Gratie, A. Magda Florea, J-J.Ch. Meyer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Computational Logic in Multi-Agent Systems
Place of Publication	Berlin/Heidelberg
Publisher	Springer
Pages	181-194
Number of pages	14
Publication status	Published - 2012

13th Int. Workshop (CLIMA XIII)

Cite this

@inproceedings{a63d7f605e4b43f88cc5cd1a8c3aa3e2,

title = "Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation",

author = "C. Gratie and \{Magda Florea\}, A. and J-J.Ch. Meyer",

note = "13th Int. Workshop (CLIMA XIII)",

year = "2012",

language = "Undefined/Unknown",

pages = "181--194",

booktitle = "Computational Logic in Multi-Agent Systems",

publisher = "Springer",

}