PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Meyer, Albert R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Turing Machines with Several Read-Write Heads (Preliminary Report)

, , und . SWAT (FOCS), Seite 117-127. IEEE Computer Society, (1967)

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.

Matthias Meyer University of Stuttgart

R. Koerner

Univ. -Prof. Dr. Albert Jeltsch University of Stuttgart

R. Watty

Jens Meyer University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Full Abstraction and the Context Lemma., und . TACS, Volume 526 von Lecture Notes in Computer Science, Seite 131-151. Springer, (1991)Cosmological lower bound on the circuit complexity of a small problem in logic., und . J. ACM, 49 (6): 753-784 (2002)Boolean Matrix Multiplication and Transitive Closure, und . SWAT (FOCS), Seite 129-131. IEEE Computer Society, (1971)Real Time Counter Machines (Preliminary Version), , und . SWAT (FOCS), Seite 148-154. IEEE Computer Society, (1967)Reminiscences.. Pillars of Computer Science, Volume 4800 von Lecture Notes in Computer Science, Seite 39-45. Springer, (2008)Continuations May be Unreasonable., und . LISP and Functional Programming, Seite 63-71. ACM, (1988)What is a Model of the Lambda Calculus?. Information and Control, 52 (1): 87-122 (Januar 1982)Honest Bounds for Complexity Classes of Recursive Functions., und . J. Symb. Log., 39 (1): 127-138 (1974)A Note On Equivalences Among Logics of Programs., und . Logic of Programs, Volume 131 von Lecture Notes in Computer Science, Seite 282-299. Springer, (1981)Word Problems Requiring Exponential Time: Preliminary Report, und . STOC, Seite 1-9. ACM, (1973)