( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Component Framework Based on High-Level Replacement Systems.

, , , , и . GT-VMT@ICGT, том 72 из Electronic Notes in Theoretical Computer Science, стр. 118-132. Elsevier, (2002)

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.

Fernando Rinaldi

Fernando Wiens

Fernando Boenicke

Fernando Cox

Fernando Silva

 

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

Controlling Reuse in Pattern-Based Model-to-Model Transformations., , и . Graph Transformations and Model-Driven Engineering, том 5765 из Lecture Notes in Computer Science, стр. 175-201. Springer, (2010)Abstract Constraint Data Types., и . Software, Services, and Systems, том 8950 из Lecture Notes in Computer Science, стр. 155-170. Springer, (2015)Clausal Rewriting: Applications and Implementation., и . ADT, том 534 из Lecture Notes in Computer Science, стр. 204-219. Springer, (1990)A General Algebraic Framework for Studying Modular Systems., и . WADT, том 1827 из Lecture Notes in Computer Science, стр. 271-290. Springer, (1999)A Transformational Semantics of Static Embedded Implications of Normal Logic Programs., , , и . LOPSTR, том 3901 из Lecture Notes in Computer Science, стр. 133-146. Springer, (2005)A Proof System for Verifying Composability of Abstract Implementations.. Semantics of Data Types, том 173 из Lecture Notes in Computer Science, стр. 357-374. Springer, (1984)Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results., , и . Math. Struct. Comput. Sci., 6 (1): 33-67 (1996)Categorical Foundations of Distributed Graph Transformation., , и . ICGT, том 4178 из Lecture Notes in Computer Science, стр. 215-229. Springer, (2006)Initial Conflicts for Transformation Rules with Nested Application Conditions., и . ICGT, том 12150 из Lecture Notes in Computer Science, стр. 109-127. Springer, (2020)Passing Compatibility is almost Persistency.. ADT, том 116 из Informatik-Fachberichte, стр. 196-206. Springer, (1984)