( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Embedding and Confluence of Graph Transformations with Negative Application Conditions.

, , , и . ICGT, том 5214 из Lecture Notes in Computer Science, стр. 162-177. Springer, (2008)

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 Wiens

Fernando Rinaldi

Fernando Silva

Fernando Gast

Fernando Boenicke

 

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

A Guided Tour through the ICARUS Project., , , , , и . ACM SIGSOFT Softw. Eng. Notes, 20 (2): 28-33 (1995)Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications., , , и . Comput. J., 35 (5): 468-477 (1992)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)Clausal Rewriting: Applications and Implementation., и . ADT, том 534 из Lecture Notes in Computer Science, стр. 204-219. Springer, (1990)Abstract Constraint Data Types., и . Software, Services, and Systems, том 8950 из Lecture Notes in Computer Science, стр. 155-170. Springer, (2015)A Transformational Semantics of Static Embedded Implications of Normal Logic Programs., , , и . LOPSTR, том 3901 из Lecture Notes in Computer Science, стр. 133-146. Springer, (2005)A General Algebraic Framework for Studying Modular Systems., и . WADT, том 1827 из Lecture Notes in Computer Science, стр. 271-290. Springer, (1999)A Proof System for Verifying Composability of Abstract Implementations.. Semantics of Data Types, том 173 из Lecture Notes in Computer Science, стр. 357-374. Springer, (1984)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)