( en | de | ru )

 

Disambiguierung von "Ciabattoni, Agata"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics.

, , , und . LORI, Volume 11813 von Lecture Notes in Computer Science, Seite 355-369. Springer, (2019)

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.

Koichiro Agata

Agata Pomorska

Agata Savary

Agata Langier

Agata Nowrotek

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Generation of Analytic Calculi for Logics with Linearity.. CSL, Volume 3210 von Lecture Notes in Computer Science, Seite 503-517. Springer, (2004)Hypersequent Calculi for Gödel Logics - a Survey., , und . J. Log. Comput., 13 (6): 835-861 (2003)Proof theory of witnessed Gödel logic: A negative result., und . J. Log. Comput., 26 (1): 51-64 (2016)Editorial., , , und . Log. J. IGPL, 13 (4): 363 (2005)A Sufficient Condition for Completability of Partial Combinatory Algebras., und . J. Symb. Log., 62 (4): 1209-1214 (1997)Algebraic proof theory: Hypersequents and hypercompletions., , und . Ann. Pure Appl. Log., 168 (3): 693-737 (2017)Display to Labeled Proofs and Back Again for Tense Logics., , , und . ACM Trans. Comput. Log., 22 (3): 20:1-20:31 (2021)First-order satisfiability in Gödel logics: An NP-complete fragment., , und . Theor. Comput. Sci., 412 (47): 6612-6623 (2011)Cut Elimination for First Order Gödel Logic by Hyperclause Resolution., , und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 451-466. Springer, (2008)Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving., , und . LPAR, Volume 2250 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2001)