Baumgartner, A., & Nantes-Sobrinho, D. (2026). Nominal anti-unification modulo equational theories. Journal of logical and algebraic methods in programming, 149, 101100. https://doi.org/10.1016/j.jlamp.2025.101100
Citácia podle Chicago (17th ed.)Baumgartner, Alexander, a Daniele Nantes-Sobrinho. "Nominal Anti-unification Modulo Equational Theories." Journal of Logical and Algebraic Methods in Programming 149 (2026): 101100. https://doi.org/10.1016/j.jlamp.2025.101100.
Citácia podľa MLA (8th ed.)Baumgartner, Alexander, a Daniele Nantes-Sobrinho. "Nominal Anti-unification Modulo Equational Theories." Journal of Logical and Algebraic Methods in Programming, vol. 149, 2026, p. 101100, https://doi.org/10.1016/j.jlamp.2025.101100.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..