Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Elements of the Theory of Computation, und . Prentice-Hall, Upper Saddle River, NJ, Second Edition, (1998)The Inference Problem for Template Dependencies., und . PODS, Seite 221-229. ACM, (1982)A Logic of Concrete Time Intervals (Extended Abstract). LICS, Seite 380-389. IEEE Computer Society, (1990)Complexity of Solvable Cases of the Decision Problem for the Predicate Calculus. FOCS, Seite 35-47. IEEE Computer Society, (1978)Symmetric Space-Bounded Computation (Extended Abstract)., und . ICALP, Volume 85 von Lecture Notes in Computer Science, Seite 374-384. Springer, (1980)Elementos de Teoria da Computacão (trad. Edson Furmankiewicz), und . Bookman, Porto Alegre, 2 Edition, (2000)SHAPESHIFTER: An interactive program for experimenting with complex-plane transformations.. ACM National Conference, Seite 717-724. ACM, (1968)Embedded Implicational Dependencies and their Inference Problem, , und . STOC, Seite 342-354. ACM, (1981)The Equivalence Problem for Program Schemata with Nonintersecting Loops.. POPL, Seite 253-266. ACM, (1977)Efficient Symbolic Analysis of Programs., und . J. Comput. Syst. Sci., 32 (3): 280-314 (1986)