( en | de | ru )

 

Disambiguation of "Henson, Martin C."

Author of the publication

copydeleteadd this publication to your clipboard
Investigating Z.

, and . J. Log. Comput., 10 (1): 43-73 (2000)

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.

Martin C Schleper

Martin C Albl

Martin C Schwarzer

Martin C Roth

Martin C Wellmann

 

Other publications of authors with the same name

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