Bruni, A., Ritter, E., & Schürmann, C. (2024). Skolemisation for Intuitionistic Linear Logic.
Style de citation Chicago (17e éd.)Bruni, Alessandro, Eike Ritter, et Carsten Schürmann. Skolemisation for Intuitionistic Linear Logic. 2024.
Style de citation MLA (9e éd.)Bruni, Alessandro, et al. Skolemisation for Intuitionistic Linear Logic. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.