( en | de | ru )

 

Disambiguierung von "Gordon, Michael J. C."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Transforming Programs into Recursive Functions.

, und . SBMF, Volume 240 von Electronic Notes in Theoretical Computer Science, Seite 185-200. Elsevier, (2008)

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.

C J Schumacher

J C Kämmer

Michael Gordon

Michael Gordon

Michael Gordon

 

Weitere Publikationen von Autoren mit dem selben Namen

A Verifier and Timing Analyser for Simple Imperative Programs (Abstract).. CAV, Volume 697 von Lecture Notes in Computer Science, Seite 320. Springer, (1993)PuzzleTool : An Example of Programming Computation and Deduction.. TPHOLs, Volume 2410 von Lecture Notes in Computer Science, Seite 214-229. Springer, (2002)Hoare Logic for ARM Machine Code., , und . FSEN, Volume 4767 von Lecture Notes in Computer Science, Seite 272-286. Springer, (2007)Z and HOL., und . Z User Workshop, Seite 141-167. Springer/BCS, (1994)Programming Combinations of Deduction and BDD-based Symbolic Calculation.. LMS J. Comput. Math., (2002)Validating the PSL/Sugar Semantics Using Automated Reasoning.. Formal Aspects Comput., 15 (4): 406-421 (2003)Reachability Programming in HOL98 Using BDDs.. TPHOLs, Volume 1869 von Lecture Notes in Computer Science, Seite 179-196. Springer, (2000)Introduction to the HOL System.. TPHOLs, Seite 2-3. IEEE Computer Society, (1991)Edinburgh LCF, , und . Lecture Notes in Computer Science Springer, (1979)Set Theory, Higher Order Logic or Both?. TPHOLs, Volume 1125 von Lecture Notes in Computer Science, Seite 191-201. Springer, (1996)