( en | de | ru )

 

Disambiguation of "Kok, Joost N."

Author of the publication

copydeleteadd this publication to your clipboard
Progress for Local Variables in UNITY.

, , and . PROCOMET, volume A-56 of IFIP Transactions, page 127-146. North-Holland, (1994)

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.

n n n

Friedrich Kok

Franz Kok

Wolfgang Kok

Friedrich Kok

 

Other publications of authors with the same name

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