Author:
Burris Stanley N.,Yeats Karen A.
Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An intuitionistic formula hierarchy based on high‐school identities;Mathematical Logic Quarterly;2019-05
2. The exp-log normal form of types: decomposing extensional equality and representing terms compactly;ACM SIGPLAN Notices;2017-05-11
3. The exp-log normal form of types: decomposing extensional equality and representing terms compactly;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01
4. Axioms and decidability for type isomorphism in the presence of sums;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
5. MACE4 and SEM: A Comparison of Finite Model Generators;Automated Reasoning and Mathematics;2013