( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Generic Framework for Connector Architectures based on Components and Transformations.

, , , , , , и . Electron. Notes Theor. Comput. Sci., (2004)

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.

Luca Pino

Pino D'Amico

Amabelia Silvia Pino Machado

Andreas Pinosa

Rudolf Pinoli

 

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

Semantics of normal logic programs with embedded implications., , и . APPIA-GULP-PRODE, стр. 1-15. Departamento de Informática, Universidade de Évora, (2001)Constructive negation without subsidiary trees., , и . WFLP, стр. 195-209. (2000)Satisfiability of Constraint Specifications on XML Documents., , и . Logic, Rewriting, and Concurrency, том 9200 из Lecture Notes in Computer Science, стр. 539-561. Springer, (2015)An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs., , и . J. Log. Program., 40 (1): 89-124 (1999)Semantics of structured normal logic programs., , , и . J. Log. Algebraic Methods Program., 81 (5): 559-584 (2012)Institutions for Logic Programming., , и . Theor. Comput. Sci., 173 (2): 485-511 (1997)Correctness of Incremental Model Synchronization with Triple Graph Grammars., и . ICMT, том 8568 из Lecture Notes in Computer Science, стр. 74-90. Springer, (2014)A Functorial Framework for Constraint Normal Logic Programming., , , и . Appl. Categorical Struct., 16 (3): 421-450 (2008)Semantic Definitions for Normal Open Programs., и . ICLP, стр. 200-214. MIT Press, (1999)On the Integration of Modular Heterogeneous Specifications., и . SoftSpez Final Report, том 3147 из Lecture Notes in Computer Science, стр. 582-601. Springer, (2004)