( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A proof theory of right-linear (omega-)grammars via cyclic proofs.

, и . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Abhishek Mitra

Abhishek Bichhawat

Abhishek Banerjee

Abhishek Kumar

Chintagunta Abhishek

 

Другие публикации лиц с тем же именем

Decision Problems for Linear Logic with Least and Greatest Fixed Points., , и . FSCD, том 228 из LIPIcs, стр. 20:1-20:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory., и . TABLEAUX, том 11714 из Lecture Notes in Computer Science, стр. 297-316. Springer, (2019)Linear logic with the least and greatest fixed points : truth semantics, complexity and a parallel syntax. (La logique linéaire avec les plus petits et les plus grands points fixes : la sémantique de vérité, la complexité, et une syntaxe parallèle).. Paris Cité University, France, (2022)A proof theory of right-linear (omega-)grammars via cyclic proofs., и . CoRR, (2024)A computational model of planarian regeneration., , и . IJPEDS, 32 (4): 331-347 (2017)A proof theory of (omega-)context-free languages, via non-wellfounded proofs., и . CoRR, (2024)Canonical proof-objects for coinductive programming: infinets with infinitely many cuts., , и . PPDP, стр. 7:1-7:15. ACM, (2021)Phase Semantics for Linear Logic with Least and Greatest Fixed Points., , и . FSTTCS, том 250 из LIPIcs, стр. 35:1-35:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Comparing Infinitary Systems for Linear Logic with Fixed Points., , и . FSTTCS, том 284 из LIPIcs, стр. 40:1-40:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)