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.

 

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

Coordination-Based Design of Distributed Systems., и . COORDINATION, том 1906 из Lecture Notes in Computer Science, стр. 347-352. Springer, (2000)Multi-class Correlated Pattern Mining., и . KDID, том 3933 из Lecture Notes in Computer Science, стр. 165-187. Springer, (2005)Graphs, Hypergraphs, and Inductive Logic Programming., , и . MLG, (2007)Semantic Models for a Version of PARLOG., , , и . ICLP, стр. 621-636. MIT Press, (1989)long version: TCS 86(1): 3-33 (1991).Progress for Local Variables in UNITY., , и . PROCOMET, том A-56 из IFIP Transactions, стр. 127-146. North-Holland, (1994)Developing Object-based Distributed Systems., , и . FMOODS, том 139 из IFIP Conference Proceedings, Kluwer, (1999)An Adaptive Evolutionary Algorithm for the Satisfiability Problem., , и . SAC (1), стр. 463-469. ACM, (2000)The RPC-Memory Specification Problem: UNITY+Refinement Calculus., и . Formal Systems Specification, том 1169 из Lecture Notes in Computer Science, стр. 521-540. Springer, (1994)Semantics, Orderings and Recursion in the Weakest Precondition Calculus., и . REX Workshop, том 666 из Lecture Notes in Computer Science, стр. 91-109. Springer, (1992)On the Relation Between Unity Properties and Sequences of States., и . REX Workshop, том 666 из Lecture Notes in Computer Science, стр. 594-608. Springer, (1992)