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.

Relating Labelled and Label-Free Bunched Calculi in BI Logic

Didier Galmiche, Michel Marti, Daniel Méry. Relating Labelled and Label-Free Bunched Calculi in BI Logic. In Serenella Cerrito, Andrei Popescu 0001, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Volume 11714 of Lecture Notes in Computer Science, pages 130-146, Springer, 2019. [doi]

Authors

Didier Galmiche

This author has not been identified. Look up 'Didier Galmiche' in Google

Michel Marti

This author has not been identified. Look up 'Michel Marti' in Google

Daniel Méry

This author has not been identified. Look up 'Daniel Méry' in Google
runs on