PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Zucker, Jeffery I."

Author of the publication

copydeleteadd this publication to your clipboard
Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms.

, , and . Applied Mathematics and Computation, 215 (4): 1386-1403 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

I. Steinwart

I. Dudic

Cheng-I Ho University of Stuttgart

Matthias Ibach University of Stuttgart

Dr. -Ing. Dr. Uwe Iben University of Stuttgart

 

Other publications of authors with the same name

Primitive recursive selection functions for existential assertions over abstract algebras., and . J. Log. Algebr. Program., 76 (2): 175-197 (2008)The adequacy problem for inferential logic., and . J. Philosophical Logic, 7 (1): 501-516 (1978)A Class of Contracting Stream Operators., and . Comput. J., 56 (1): 15-33 (2013)Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms., , and . Applied Mathematics and Computation, 215 (4): 1386-1403 (2009)Horn Programs and Semicomputable Relations on Abstract Structures., and . ICALP, volume 372 of Lecture Notes in Computer Science, page 745-760. Springer, (1989)Contrasting Themes in the Semantics of Imperative Concurrency., , , , and . Current Trends in Concurrency, volume 224 of Lecture Notes in Computer Science, Springer, (1986)Theory of Computation over Stream Algebras, and its Applications., and . MFCS, volume 629 of Lecture Notes in Computer Science, page 62-80. Springer, (1992)Semantics of Pointers, Referencing and Dereferencing with Intensional Logic, and . LICS, page 127-136. IEEE Computer Society, (1991)Notions of semicomputability in topological algebras over the reals., and . Computability, 8 (1): 1-26 (2019)Toward a General Theory of Computation and Specification over Abstract Data Types., and . ICCI, volume 468 of Lecture Notes in Computer Science, page 129-133. Springer, (1990)