( en | de | ru )

 

Disambiguierung von "De, Abhishek"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A proof theory of right-linear (omega-)grammars via cyclic proofs.

, und . CoRR, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Abhishek Mitra

Abhishek Bichhawat

Abhishek Banerjee

Chintagunta Abhishek

Abhishek Kumar

 

Weitere Publikationen von Autoren mit dem selben Namen

A computational model of planarian regeneration., , und . IJPEDS, 32 (4): 331-347 (2017)A proof theory of right-linear (omega-)grammars via cyclic proofs., und . CoRR, (2024)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)Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory., und . TABLEAUX, Volume 11714 von Lecture Notes in Computer Science, Seite 297-316. Springer, (2019)Decision Problems for Linear Logic with Least and Greatest Fixed Points., , und . FSCD, Volume 228 von LIPIcs, Seite 20:1-20:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Canonical proof-objects for coinductive programming: infinets with infinitely many cuts., , und . PPDP, Seite 7:1-7:15. ACM, (2021)Phase Semantics for Linear Logic with Least and Greatest Fixed Points., , und . FSTTCS, Volume 250 von LIPIcs, Seite 35:1-35:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Comparing Infinitary Systems for Linear Logic with Fixed Points., , und . FSTTCS, Volume 284 von LIPIcs, Seite 40:1-40:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)