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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..