( en | de | ru )

 

Disambiguierung von "Henson, Martin C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Safe Positive Induction in the Programming Logic TK.

. RCLP, Volume 592 von Lecture Notes in Computer Science, Seite 215-231. Springer, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin C Schleper

Martin C Albl

Martin C Schwarzer

Martin C Roth

Martin C Wellmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Higher-Order Transformations and Type Simulations.. Comput. J., 31 (6): 517-524 (1988)Realizability Models for Program Construction.. MPC, Volume 375 von Lecture Notes in Computer Science, Seite 256-272. Springer, (1989)Information Loss in the Programming Logic TK.. Programming Concepts and Methods, Seite 523-560. North-Holland, (1990)A Constructive Set Theory for Program Development., und . FSTTCS, Volume 338 von Lecture Notes in Computer Science, Seite 329-347. Springer, (1988)Safe Positive Induction in the Programming Logic TK.. RCLP, Volume 592 von Lecture Notes in Computer Science, Seite 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., und . POPL, Seite 242-254. ACM Press, (1982)A Logic for the Schema Calculus., und . ZUM, Volume 1493 von Lecture Notes in Computer Science, Seite 172-191. Springer, (1998)Investigating Z., und . J. Log. Comput., 10 (1): 43-73 (2000)