Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Program-Oriented Logics of Renominative Level with Extended Renomination and Equality;Information and Communication Technologies in Education, Research, and Industrial Applications;2020
2. Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition;Information and Communication Technologies in Education, Research, and Industrial Applications;2020
3. Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement;Information and Communication Technologies in Education, Research, and Industrial Applications;2019
4. Composition-Nominative Logics as Institutions;Logica Universalis;2018-04-02