( en | de | ru )

 

Disambiguierung von "Goguen, Joseph A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Style as a Choice of Blending Principles.

, und . AAAI Technical Report (7), FS-04-07, Seite 49-56. AAAI Press, (2004)

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.

Healfdene Goguen

Joseph A Bracken

Joseph A Bracken

R. A. A. Bowler

°Ake °Akerström

 

Weitere Publikationen von Autoren mit dem selben Namen

More thoughts on specification and verification.. ACM SIGSOFT Softw. Eng. Notes, 6 (3): 38-41 (1981)Towards a Provably Correct Compiler for OBJ3., und . PLILP, Volume 844 von Lecture Notes in Computer Science, Seite 132-146. Springer, (1994)What Is a Concept?. ICCS, Volume 3596 von Lecture Notes in Computer Science, Seite 52-77. Springer, (2005)Cell and Ensemble Architecture for the Rewrite Rule Machine., , und . FGCS, Seite 869-878. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)Zero, Connected, Empty: An Essay after a Cantata., und . WADT, Volume 2755 von Lecture Notes in Computer Science, Seite 127-128. Springer, (2002)KWIC-index generation., , , , , , , , , und 1 andere Autor(en). Program Specification, Volume 134 von Lecture Notes in Computer Science, Seite 47-117. Springer, (1981)Verifying Design with Proof Scores., , und . VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 277-290. Springer, (2005)Unwinding and Inference Control., und . S&P, Seite 75-87. IEEE Computer Society, (1984)Security Policies and Security Models., und . S&P, Seite 11-20. IEEE Computer Society, (1982)Specifying, Programming and Verifying with Equational Logic., und . We Will Show Them! (2), Seite 1-38. College Publications, (2005)