Kanta Takahata
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2025–2025
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LOPSTR | Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms. | Kanta Takahata, Jonas Schpf, Naoki Nishida, Takahito Aoto |
| 2025 | PPDP | Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations. | Kanta Takahata, Jonas Schpf, Naoki Nishida, Takahito Aoto |