( en | de | ru )

 

Disambiguierung von "Ciabattoni, Agata"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Service QoS Composition at the Level of Part Names.

, , , , und . WS-FM, Volume 4184 von Lecture Notes in Computer Science, Seite 24-37. Springer, (2006)

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 Pernuš

Agata Rymkiewicz

 

Weitere Publikationen von Autoren mit dem selben Namen

Editorial., , , und . Log. J. IGPL, 13 (5): 491 (2005)Proof theory of witnessed Gödel logic: A negative result., und . J. Log. Comput., 26 (1): 51-64 (2016)A Sufficient Condition for Completability of Partial Combinatory Algebras., und . J. Symb. Log., 62 (4): 1209-1214 (1997)First-order satisfiability in Gödel logics: An NP-complete fragment., , und . Theor. Comput. Sci., 412 (47): 6612-6623 (2011)Hypersequent Calculi for Gödel Logics - a Survey., , und . J. Log. Comput., 13 (6): 835-861 (2003)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)Automated Generation of Analytic Calculi for Logics with Linearity.. CSL, Volume 3210 von Lecture Notes in Computer Science, Seite 503-517. Springer, (2004)Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism., , und . CSR, Volume 5675 von Lecture Notes in Computer Science, Seite 26-37. Springer, (2009)Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic., , und . ISMVL, Seite 181-186. IEEE Computer Society, (2001)