Author:
Brink Chris,Kahl Wolfram,Schmidt Gunther
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Differentiators and detectors;Information Processing Letters;2021-08
2. Residuation in Existential Graphs;Diagrammatic Representation and Inference;2021
3. Mutation Subsumption as Relative Incorrectness;Communications in Computer and Information Science;2021
4. NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS;The Review of Symbolic Logic;2019-06-13
5. Programming Without Refining;Electronic Proceedings in Theoretical Computer Science;2018-10-24