Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Designing a Safe Forward Chaining Tactic Using Productive Proofs
Chaudhuri, K., Gantait, A. & Miller, D., 1 janv. 2026, Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Proceedings. Pozzato, G. L. & Uustalu, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 299-317 19 p. (Lecture Notes in Computer Science; Vol 15980 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Proceedings of the 20th InternationalWorkshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025)
Chaudhuri, K. & Nantes-Sobrinho, D., 1 janv. 2025, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 431, p. i-iiRésultats de recherche: Contribution à un journal › Éditorial
Accès ouvert -
About Trust and Proof: An Experimental Framework for Heterogeneous Verification
Al Wardani, F., Chaudhuri, K. & Miller, D., 1 janv. 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 162-183 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol LNCS 14781).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs
Accès ouvert -
Formal Reasoning Using Distributed Assertions
Al Wardani, F., Chaudhuri, K. & Miller, D., 1 janv. 2023, Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Proceedings. Sattler, U. & Suda, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 176-194 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 14279 LNAI).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Subformula Linking for Intuitionistic Logic with Application to Type Theory
Chaudhuri, K., 1 janv. 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 200-216 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 12699 LNAI).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
A proof-theoretic approach to certifying skolemization
Chaudhuri, K., Manighetti, M. & Miller, D., 14 janv. 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (Ed.). Association for Computing Machinery, Inc, p. 78-90 13 p. (CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Formalized meta-theory of sequent calculi for linear logics
Chaudhuri, K., Lima, L. & Reis, G., 16 août 2019, Dans: Theoretical Computer Science. 781, p. 24-38 15 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Hybrid linear logic, revisited
Chaudhuri, K., Despeyroux, J., Olarte, C. & Pimentel, E., 1 sept. 2019, Dans: Mathematical Structures in Computer Science. 29, 8, p. 1151-1176 26 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
A two-level logic perspective on (simultaneous) substitutions
Chaudhuri, K., 8 janv. 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Felty, A. & Andronick, J. (eds.). Association for Computing Machinery, Inc, p. 280-292 13 p. (CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018; Vol 2018-January).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Expressing additives using multiplicatives and subexponentials
Chaudhuri, K., 1 mai 2018, Dans: Mathematical Structures in Computer Science. 28, 5, p. 651-666 16 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert