Composition-Nominative Logics as Institutions
Crossref DOI link: https://doi.org/10.1007/s11787-018-0191-x
Published Online: 2018-04-02
Published Print: 2018-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chentsov, Alexey
Nikitchenko, Mykola http://orcid.org/0000-0002-4078-1062
Text and Data Mining valid from 2018-04-02
Article History
Received: 22 September 2017
Accepted: 15 March 2018
First Online: 2 April 2018