( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositional specification of commercial contracts.

, , , , и . Int. J. Softw. Tools Technol. Transf., 8 (6): 485-516 (2006)

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.

Berthold Henglein

Ernst Henglein

Kathrin Irmela Henglein

Friedrich Arnim Henglein

Friedrich Martin Henglein

 

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

A Direct Approach to Control-Flow Sensitive Region-Based Memory Management., , и . PPDP, стр. 175-186. ACM, (2001)Polymorphic Binding-Time Analysis., и . ESOP, том 788 из Lecture Notes in Computer Science, стр. 287-301. Springer, (1994)Rock'n'Roll Computer Science.. Logic and Program Semantics, том 7230 из Lecture Notes in Computer Science, стр. 354-355. Springer, (2012)Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time, , и . SAS, том 983 из Lecture Notes in Computer Science, стр. 118-135. Springer, (1995)Fast Left-Linear Semi-Unification.. ICCI, том 468 из Lecture Notes in Computer Science, стр. 82-91. Springer, (1990)Contract-Backed Digital Cash., , , , и . CoRR, (2022)Combinatory Adjoints and Differentiation., , , , и . MSFP@ETAPS, том 360 из EPTCS, стр. 1-26. (2022)Regular expression containment: coinductive axiomatization and computational interpretation., и . POPL, стр. 385-398. ACM, (2011)Generic discrimination: sorting and paritioning unshared data in linear time.. ICFP, стр. 91-102. ACM, (2008)PEG parsing in less space using progressive tabling and dynamic analysis., и . PEPM, стр. 35-46. ACM, (2017)