( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Z Logic and its Consequences.

, , и . Comput. Artif. Intell., 22 (3-4): 381-415 (2003)

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.

Martin C Schleper

Martin C Albl

Martin C Schwarzer

Martin C Roth

Martin C Wellmann

 

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

Higher-Order Transformations and Type Simulations.. Comput. J., 31 (6): 517-524 (1988)Realizability Models for Program Construction.. MPC, том 375 из Lecture Notes in Computer Science, стр. 256-272. Springer, (1989)Information Loss in the Programming Logic TK.. Programming Concepts and Methods, стр. 523-560. North-Holland, (1990)Completion Semantics, Interpreter Generation., и . POPL, стр. 242-254. ACM Press, (1982)A Logic for the Schema Calculus., и . ZUM, том 1493 из Lecture Notes in Computer Science, стр. 172-191. Springer, (1998)Safe Positive Induction in the Programming Logic TK.. RCLP, том 592 из Lecture Notes in Computer Science, стр. 215-231. Springer, (1991)A Constructive Set Theory for Program Development., и . FSTTCS, том 338 из Lecture Notes in Computer Science, стр. 329-347. Springer, (1988)An intensional semantics for elementary program transformations.. J. Log. Comput., 5 (4): 423-447 (1995)On the Proof Theory of Program Transformations.. Logic Journal of the IGPL, 3 (4): 643-671 (1995)Investigating Z., и . J. Log. Comput., 10 (1): 43-73 (2000)