( en | de | ru )

 

Disambiguation of "Große-Rhode, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Applications of Category Theory to the Area of Algebraic Specification in Computer Science.

, , and . Appl. Categorical Struct., 6 (1): 1-35 (1998)

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. You can also use the button next to the name to display some publications already assigned to the person.

Martin Große-Rhode

Martin Große-Rhode

Martin Große-Rhode

Martin Große-Rhode

Christa Grosse-Rhode

 

Other publications of authors with the same name

Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen., , , , , and . Software Engineering (Workshops), volume P-215 of LNI, page 251-260. GI, (2013)Towards Object-Oriented Algebraic Specifications.. ADT, volume 534 of Lecture Notes in Computer Science, page 98-116. Springer, (1990)Refinements of Graph Transformation Systems via Rule Expressions., , and . TAGT, volume 1764 of Lecture Notes in Computer Science, page 368-382. Springer, (1998)Algebra Transformation Systems and their Composition.. FASE, volume 1382 of Lecture Notes in Computer Science, page 107-122. Springer, (1998)From algebra transformation to labelled transition systems.. WADT, volume 1376 of Lecture Notes in Computer Science, page 269-284. Springer, (1997)Achieving Quality in Customer-Configurable Products, , and . Recommendation Systems for Software Engineering, (2013)Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. An EATCS Series Springer, (2004)Parameterized Data Type and Process Specifications Using Projection Algebras.. Categorial Methods in Computer Science, volume 393 of Lecture Notes in Computer Science, page 185-197. Springer, (1988)Integrating Semantics for Object-Oriented System Models.. ICALP, volume 2076 of Lecture Notes in Computer Science, page 40-60. Springer, (2001)A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems.. IFM, page 253-272. Springer, (1999)