Kapur, D. (2023). Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties. Logical methods in computer science, 19, Issue 1, . https://doi.org/10.46298/lmcs-19(1:19)2023
Chicago-Zitierstil (17. Ausg.)Kapur, Deepak. "Modularity and Combination of Associative Commutative Congruence Closure Algorithms Enriched with Semantic Properties." Logical Methods in Computer Science 19, Issue 1 (2023). https://doi.org/10.46298/lmcs-19(1:19)2023.
MLA-Zitierstil (9. Ausg.)Kapur, Deepak. "Modularity and Combination of Associative Commutative Congruence Closure Algorithms Enriched with Semantic Properties." Logical Methods in Computer Science, vol. 19, Issue 1, 2023, https://doi.org/10.46298/lmcs-19(1:19)2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.