Kanta Takahata

Orcid: 0009-0009-0015-5954

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

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

[BibT_eX]

[DOI]

CoRR, July, 2025

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

[BibT_eX]

[DOI]

CoRR, May, 2025

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations.

[BibT_eX]

[DOI]

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms.

[BibT_eX]

[DOI]

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

Kanta Takahata

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...