( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Service QoS Composition at the Level of Part Names.

, , , , и . WS-FM, том 4184 из Lecture Notes in Computer Science, стр. 24-37. Springer, (2006)

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.

Koichiro Agata

Agata Pomorska

Agata Savary

Agata Nowrotek

Agata Rymkiewicz

 

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

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