Kanta Takahata

According to our database, Kanta Takahata authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version).

Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto

CoRR, July, 2025

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version).

Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto

CoRR, May, 2025

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms.

Kanta Takahata, Jonas Schöpf, Naoki Nishida, Takahito Aoto

Proceedings of the Logic-Based Program Synthesis and Transformation, 2025