Haeusler, E. H., Junior, J. F. C. B., & Robinson. (2022). On the horizontal compression of dag-derivations in minimal purely implicational logic.
Chicago-Zitierstil (17. Ausg.)Haeusler, Edward Hermann, José Flávio Cavalcante Barros Junior, und Robinson. On the Horizontal Compression of Dag-derivations in Minimal Purely Implicational Logic. 2022.
MLA-Zitierstil (9. Ausg.)Haeusler, Edward Hermann, et al. On the Horizontal Compression of Dag-derivations in Minimal Purely Implicational Logic. 2022.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.