( en | de | ru )

 

Disambiguation of "Zamulin, Alexandre V."

Author of the publication

copydeleteadd this publication to your clipboard
HM data Model and its Formal Definition.

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

V Geoffroy

V Saile

V Ustinov

V Fendrich

V Adams

 

Other publications of authors with the same name

Conference Report: Perspectives of Information Systems.. Program. Comput. Softw., 26 (5): 289-291 (2000)Information on the International Conference "Perspectives of System Informatics".. Program. Comput. Softw., 28 (1): 53-56 (2002)An Object Algebra for the ODMG Standard.. ADBIS, volume 2435 of Lecture Notes in Computer Science, page 291-304. Springer, (2002)Generic Facilities in Object-Oriented ASMs.. Abstract State Machines, volume 1912 of Lecture Notes in Computer Science, page 91-111. Springer, (2000)Fifth International Conference "Perspectives of System Informatics".. Program. Comput. Softw., 30 (1): 52-56 (2004)Formal Semantics of the ODMG 3.0 Object Query Language.. ADBIS, volume 2798 of Lecture Notes in Computer Science, page 293-307. Springer, (2003)Dynamic Systems with Implicit State., , and . FASE, volume 1577 of Lecture Notes in Computer Science, page 114-128. Springer, (1999)Algebraic Modelling of Imperative Languages with Pointers.. Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science, page 81-97. Springer, (1993)Algebraic Semantics of an Imperative Programming Language.. Program. Comput. Softw., 29 (6): 328-337 (2003)Algebraic Semantics of Object-Oriented Data Models.. TOOLS (24), page 43-52. IEEE Computer Society, (1997)