External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer. Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. In Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori, editors, Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. Volume 7486 of Lecture Notes in Computer Science, pages 181-194, Springer, 2012. [doi]

Authors

Cristian Gratie

This author has not been identified. Look up 'Cristian Gratie' in Google

Adina Magda Florea

This author has not been identified. Look up 'Adina Magda Florea' in Google

John-Jules Ch. Meyer

This author has not been identified. It may be one of the following persons: Look up 'John-Jules Ch. Meyer' in Google
runs on