Autor der Publikation

Issues in the Formal Specifications of Programming Languages.

, , und . Formal Description of Programming Concepts, Seite 1-30. North-Holland, (1977)

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

Solution of Eigenvalue Problems in Hilbert Spaces by a Gradient Method., und . J. Comput. Syst. Sci., 8 (2): 220-237 (1974)Stationary Points of Functionals in Pre-Hilbert Spaces.. J. Comput. Syst. Sci., 1 (1): 86-90 (1967)The Dance Party Problem and its Application to Collective Communication in Computer Networks., , , und . Parallel Computing, 23 (8): 1141-1156 (1997)Stability of fixed points and periodic orbits and bifurcations in analog neural networks., und . Neural Networks, 5 (4): 577-587 (1992)Asymptotic Behavior of the Best Polynomial Approximation., und . J. ACM, 8 (4): 645-647 (1961)Issues in the Formal Specifications of Programming Languages., , und . Formal Description of Programming Concepts, Seite 1-30. North-Holland, (1977)Asynchronous Dynamics of Continuous Time Neural Networks., , und . NIPS, Seite 493-500. Morgan Kaufmann, (1993)Extending an implementation language to a specification language., , und . Mathematical Studies of Information Processing, Volume 75 von Lecture Notes in Computer Science, Seite 384-424. Springer, (1978)A Formal System for Differentiation.. J. ACM, 13 (4): 495-504 (1966)Efficient Reducibility Between Programming Systems: Preliminary Report, und . STOC, Seite 228-238. ACM, (1977)