( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A General Algebraic Framework for Studying Modular Systems.

, и . WADT, том 1827 из Lecture Notes in Computer Science, стр. 271-290. Springer, (1999)

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 Gast

Fernando Boenicke

Fernando Cox

 

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

Role of Abstraction in Program Development - Response.. IFIP Congress, стр. 143-146. North-Holland/IFIP, (1986)Correctness of Incremental Model Synchronization with Triple Graph Grammars., и . ICMT, том 8568 из Lecture Notes in Computer Science, стр. 74-90. Springer, (2014)Components for Algebra Transformation Systems., и . UNIGRA, том 82 из Electronic Notes in Theoretical Computer Science, стр. 63-78. Elsevier, (2003)Class-Sort Polymorphism in GLIDER., , и . COMPASS/ADT, том 1130 из Lecture Notes in Computer Science, стр. 143-160. Springer, (1995)A refutation procedure for proving satisfiability of constraint specifications on XML documents., и . SCSS, том 30 из EPiC Series in Computing, стр. 47-61. EasyChair, (2014)Unification of Drags., и . UNIF, стр. 8:1-8:7. (2020)Architectural Connectors for Sequence Diagrams., и . PROLE, том 206 из Electronic Notes in Theoretical Computer Science, стр. 111-131. Elsevier, (2007)On the Specification and Verification of Model Transformations., и . Semantics and Algebraic Specification, том 5700 из Lecture Notes in Computer Science, стр. 140-161. Springer, (2009)Symbolic graphs for attributed graph constraints.. J. Symb. Comput., 46 (3): 294-315 (2011)Integration Paradigm for Data Type and Process Specification Techniques., и . Bulletin of the EATCS, (1998)