Arunava Gantait

Orcid: 0009-0009-7871-3098

According to our database¹, Arunava Gantait authored at least 2 papers between 2022 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Designing a Safe Forward Chaining Tactic Using Productive Proofs.

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

2022

Zero Knowledge Identification and Verification of Voting Systems.

[DOI]

CoRR, 2022