( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Metamathematics of Contexts.

, , и . Fundam. Informaticae, 23 (2/3/4): 263-301 (1995)

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.

Eudo Colecestra Mason

Robert Mason

Alex Mason

David Mason

Julian Mason

 

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

Equivalence in Functional Languages with Effects., и . J. Funct. Program., 1 (3): 287-327 (1991)The Metatheory of the Classical Propositional Calculus is not Axiomatizable.. J. Symb. Log., 50 (2): 451-457 (1985)Reasoning About Object Systems in VTLoE., и . Int. J. Found. Comput. Sci., 6 (3): 265-298 (1995)Detection and diagnosis of deviations in distributed systems of autonomous agents., , , и . Math. Struct. Comput. Sci., 32 (9): 1254-1282 (октября 2022)A Semantically Sound Actor Tranlsation., и . ICALP, том 1256 из Lecture Notes in Computer Science, стр. 369-378. Springer, (1997)A Variable Typed Logic of Effects, , , и . Inf. Comput., 119 (1): 55-90 (мая 1995)Verification of an Optimized NTT Algorithm., , и . VSTTE, том 12549 из Lecture Notes in Computer Science, стр. 144-160. Springer, (2020)Program Transformations for Configuring Components., и . PEPM, стр. 297-308. ACM, (1991)Metamathematics of Contexts., , и . Fundam. Informaticae, 23 (2/3/4): 263-301 (1995)Programming, Transforming, and Providing with Function Abstractions and Memories., и . ICALP, том 372 из Lecture Notes in Computer Science, стр. 574-588. Springer, (1989)