Takahata, K., Schöpf, J., Nishida, N., & Aoto, T. (2025). Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version).
Citazione stile Chigago Style (17a edizione)Takahata, Kanta, Jonas Schöpf, Naoki Nishida, e Takahito Aoto. Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version). 2025.
Citatione MLA (9a ed.)Takahata, Kanta, et al. Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version). 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.