From post

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.

 

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

On the Faithful Regular Extensions of Iterative Algebras. STOC, стр. 368-374. ACM, (1981)The Semantics of Shared Submodules Specifications., и . TAPSOFT, Vol.1, том 185 из Lecture Notes in Computer Science, стр. 359-373. Springer, (1985)Blind Custodians: A Database Service Architecture That Supports Privacy Without Encryption., и . DBSec, том 3654 из Lecture Notes in Computer Science, стр. 338-352. Springer, (2005)Closure Properties of Context-Tree Hyperedge Replacement Systems., и . WG, том 1197 из Lecture Notes in Computer Science, стр. 101-113. Springer, (1996)Parallelism analysis in rule-based systems using graph grammars., и . Graph-Grammars and Their Application to Computer Science, том 291 из Lecture Notes in Computer Science, стр. 427-439. Springer, (1986)A Model for Distribution and Revocation of Certificates., и . ICGT, том 6372 из Lecture Notes in Computer Science, стр. 314-329. Springer, (2010)Non-Equivalence of Categories for Equational Algebraic Specifications., и . COMPASS/ADT, том 655 из Lecture Notes in Computer Science, стр. 222-235. Springer, (1991)Refinements of Graph Transformation Systems via Rule Expressions., , и . TAGT, том 1764 из Lecture Notes in Computer Science, стр. 368-382. Springer, (1998)On the Reusability of Specifications and Implementations.. AMAST, стр. 43-56. Springer, (1991)An Algebraic View of Inheritance and Subtyping in Object Oriented Programming., и . ESEC, том 550 из Lecture Notes in Computer Science, стр. 364-379. Springer, (1991)