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
Citace podle Chicago (17th ed.)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.
Citace podle MLA (9th ed.)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.