Citace podle APA (7th ed.)

Kojima, M., Nishida, N., & Matsubara, Y. (2025). Transforming concurrent programs with semaphores into logically constrained term rewrite systems. Journal of logical and algebraic methods in programming, 143, 101033. https://doi.org/10.1016/j.jlamp.2024.101033

Citace podle Chicago (17th ed.)

Kojima, Misaki, Naoki Nishida, a Yutaka Matsubara. "Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems." Journal of Logical and Algebraic Methods in Programming 143 (2025): 101033. https://doi.org/10.1016/j.jlamp.2024.101033.

Citace podle MLA (9th ed.)

Kojima, Misaki, et al. "Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems." Journal of Logical and Algebraic Methods in Programming, vol. 143, 2025, p. 101033, https://doi.org/10.1016/j.jlamp.2024.101033.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..