( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inductively Defined Relations: A Brief Tutorial (Extended Abstract).

. COMPASS/ADT, том 1130 из Lecture Notes in Computer Science, стр. 14-16. Springer, (1995)

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.

Wolfgang Röd

Rod Snowdon

Nils Röd

Aleksandr Rod enko

Simon M M Laimer

 

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

Putting Theories Together to Make Specifications., и . IJCAI, стр. 1045-1058. William Kaufmann, (1977)Programming with Modules as Typed Functional Programming.. FGCS, стр. 103-112. OHMSHA Ltd. Tokyo and North-Holland, (1984)A Kernel Language for Abstract Data Types and Modules., и . Semantics of Data Types, том 173 из Lecture Notes in Computer Science, стр. 1-50. Springer, (1984)Making Programs more Readable., и . Symposium on Programming, том 83 из Lecture Notes in Computer Science, стр. 327-341. Springer, (1980)Inductively Defined Relations: A Brief Tutorial (Extended Abstract).. COMPASS/ADT, том 1130 из Lecture Notes in Computer Science, стр. 14-16. Springer, (1995)Inductively Defined Functions (Extended Abstract).. TAPSOFT, Vol.1, том 185 из Lecture Notes in Computer Science, стр. 92-96. Springer, (1985)Deliverables: A Categorial Approach to Program Development in Type Theory., и . MFCS, том 711 из Lecture Notes in Computer Science, стр. 32-67. Springer, (1993)Some Fundamental Algebraic Tools for the Semantics of Computation. Part II: Signed and Abstract Theories., и . Theor. Comput. Sci., (1984)Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories., , и . Theor. Comput. Sci., 91 (2): 239-264 (1991)My Friend Joseph Goguen.. Essays Dedicated to Joseph A. Goguen, том 4060 из Lecture Notes in Computer Science, стр. 25-30. Springer, (2006)