Caleiro, C., Filipe, P., & Marcelino, S. (2025). Equivalence of Finite Non-deterministic Logical Matrices is Undecidable. Studia Logica: An International Journal for Symbolic Logic, 1-27. https://doi.org/10.1007/s11225-025-10212-x
ISO-690 (author-date, English)CALEIRO, Carlos, FILIPE, Pedro und MARCELINO, Sérgio, 2025. Equivalence of Finite Non-deterministic Logical Matrices is Undecidable. Studia Logica: An International Journal for Symbolic Logic. 24 November 2025. P. 1-27. DOI 10.1007/s11225-025-10212-x.
Modern Language Association 9th editionCaleiro, C., P. Filipe, und S. Marcelino. „Equivalence of Finite Non-Deterministic Logical Matrices Is Undecidable“. Studia Logica: An International Journal for Symbolic Logic, November 2025, S. 1-27, https://doi.org/10.1007/s11225-025-10212-x.
Mohr Siebeck - Recht (Deutsch - Österreich)Caleiro, Carlos/Filipe, Pedro/Marcelino, Sérgio: Equivalence of Finite Non-deterministic Logical Matrices is Undecidable, Studia Logica: An International Journal for Symbolic Logic 2025, 1-27.
Emerald - HarvardCaleiro, C., Filipe, P. und Marcelino, S. (2025), „Equivalence of Finite Non-deterministic Logical Matrices is Undecidable“, Studia Logica: An International Journal for Symbolic Logic, S. 1-27.