Compositional Z: Confluence Proofs for Permutative Conversion
Crossref DOI link: https://doi.org/10.1007/s11225-016-9673-0
Published Online: 2016-05-21
Published Print: 2016-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nakazawa, Koji http://orcid.org/0000-0001-6347-4383
Fujita, Ken-etsu
Funding for this research was provided by:
Japan Society for the Promotion of Science (15K00012, 25400192)
Text and Data Mining valid from 2016-05-21
Version of Record valid from 2016-05-21
Article History
Received: 6 February 2016
First Online: 21 May 2016