Metamathematics for Systems Design
Crossref DOI link: https://doi.org/10.1007/s00354-017-0023-1
Published Online: 2017-07-15
Published Print: 2017-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hasuo, Ichiro http://orcid.org/0000-0002-8300-4650
Funding for this research was provided by:
Japan Science and Technology Agency (JPMJER1603)
Text and Data Mining valid from 2017-07-01
Version of Record valid from 2017-07-15
Article History
Received: 25 May 2017
Accepted: 29 June 2017
First Online: 15 July 2017