( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A big step from finite to infinite computations.

, , , и . Sci. Comput. Program., (2020)

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.

Claudio Zuccaro

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Alga Zuccaro

 

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

Introducing safe unknown types in Java-like languages., и . SAC, стр. 1429-1434. ACM, (2006)Coupling catch clauses with local declarations., , и . FTfJP@ECOOP, стр. 6. ACM, (2016)A Primitive Calculus for Module Systems., и . PPDP, том 1702 из Lecture Notes in Computer Science, стр. 62-79. Springer, (1999)Implementation of Data Structures in an Imperative Framework.. COMPASS/ADT, том 906 из Lecture Notes in Computer Science, стр. 483-498. Springer, (1994)Flexible coinductive logic programming., , и . Theory Pract. Log. Program., 20 (6): 818-833 (2020)A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics., и . Math. Struct. Comput. Sci., 12 (6): 701-737 (2002)The ALPINE-ALMA C II survey: the luminosity function of serendipitous C II line emitters at $z5$, , , , , , , , , и 25 other автор(ы). (2020)cite arxiv:2006.04837Comment: 19 pages, 12 figures; submitted to Astronomy & Astrophysics.The essence of static and dynamic bindings., , и . ICTCS, стр. 99-106. (2009)A Free Construction of Dynamic Terms., и . J. Comput. Syst. Sci., 52 (1): 143-156 (1996)A meta-circular language for active libraries., и . Sci. Comput. Program., (2014)