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.

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs

Jon Haël Brenas, Rachid Echahed, Martin Strecker. A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. In Josep Diaz, Ivan Lanese, Davide Sangiorgi, editors, Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings. Volume 8705 of Lecture Notes in Computer Science, pages 164-178, Springer, 2014. [doi]

Authors

Jon Haël Brenas

This author has not been identified. Look up 'Jon Haël Brenas' in Google

Rachid Echahed

This author has not been identified. It may be one of the following persons: Look up 'Rachid Echahed' in Google

Martin Strecker

This author has not been identified. It may be one of the following persons: Look up 'Martin Strecker' in Google
runs on