( en | de | ru )

 

Disambiguation of "Zucker, Jeffery I."

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Jeffery McCord

Stacey Jeffery

Hans Zucker

Andrea Zucker

Andreas Zucker

 

Other publications of authors with the same name

A Network Model of Analogue Computation over Metric Algebras., and . CiE, volume 3526 of Lecture Notes in Computer Science, page 515-529. Springer, (2005)The Propositional mu-Calculus and Its Use in Model Checking.. Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693 of Lecture Notes in Computer Science, page 117-128. Springer, (1993)Models of computation for partial functions on the reals., and . J. Log. Algebraic Methods Program., 84 (2): 218-237 (2015)Approximability in the GPAC., and . CoRR, (2018)Horn Programs and Semicomputable Relations on Abstract Structures., and . ICALP, volume 372 of Lecture Notes in Computer Science, page 745-760. Springer, (1989)Theory of Computation over Stream Algebras, and its Applications., and . MFCS, volume 629 of Lecture Notes in Computer Science, page 62-80. Springer, (1992)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)Compactness in Semantics for Merge and Fair Merge., and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 18-33. Springer, (1983)Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms., , and . Appl. Math. Comput., 215 (4): 1386-1403 (2009)Semantics of Pointers, Referencing and Dereferencing with Intensional Logic, and . LICS, page 127-136. IEEE Computer Society, (1991)