( en | de | ru )

 

Disambiguierung von "Henson, Martin C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Z Logic and its Consequences.

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

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 Logic for the Schema Calculus., und . ZUM, Volume 1493 von Lecture Notes in Computer Science, Seite 172-191. Springer, (1998)Safe Positive Induction in the Programming Logic TK.. RCLP, Volume 592 von Lecture Notes in Computer Science, Seite 215-231. Springer, (1991)A Constructive Set Theory for Program Development., und . FSTTCS, Volume 338 von Lecture Notes in Computer Science, Seite 329-347. Springer, (1988)Completion Semantics, Interpreter Generation., und . POPL, Seite 242-254. ACM Press, (1982)Investigating Z., und . J. Log. Comput., 10 (1): 43-73 (2000)The Standard Logic of Z is Inconsistent.. Formal Aspects Comput., 10 (3): 243-247 (1998)Revising Z: Part I - Logic and Semantics., und . Formal Aspects Comput., 11 (4): 359-380 (1999)