( en | de | ru )

 

Disambiguierung von "Manna, Zohar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fixed Point Iteration for Computing the Time Elapse Operator.

, , und . HSCC, Volume 3927 von Lecture Notes in Computer Science, Seite 537-551. Springer, (2006)

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.

Zohar Efroni

Carlo Manna

Zohar Jacob

Enzo Manna

Stefano Manna

 

Weitere Publikationen von Autoren mit dem selben Namen

The Synthesis of Structure Changing Programs., und . ICSE, Seite 175-187. IEEE Computer Society, (1978)Temporal Logic Programming., und . SLP, Seite 4-16. IEEE-CS, (1987)Mathematical Theory of Computation. McGraw-Hill Computer Science Series McGraw-Hill Kogakusha, Tokyo, (1974)On the Faithfulness of Formal Models., und . MFCS, Volume 520 von Lecture Notes in Computer Science, Seite 28-42. Springer, (1991)Towards Refining Temporal Specifications into Hybrid Systems., , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 60-76. Springer, (1992)The Optimal Approach to Recursive Programs., und . Commun. ACM, 20 (11): 824-831 (1977)Second-Order Mathematical Theory of Computation. STOC, Seite 158-168. ACM, (1970)Program Schemas with Equality, und . STOC, Seite 52-64. ACM, (1972)Synchronous Schemes and Their Decision Problems., und . POPL, Seite 62-67. ACM Press, (1980)Logical Analysis of Programs., und . Commun. ACM, 19 (4): 188-206 (1976)