( en | de | ru )

 

Disambiguation of "Zucker, Jeffery I."

Author of the publication

copydeleteadd this publication to your clipboard
Characterizations of semicomputable sets of real numbers.

, , and . J. Log. Algebraic Methods Program., 84 (1): 124-154 (2015)

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

Andrea Zucker

Hans Zucker

Andreas Zucker

 

Other publications of authors with the same name

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)Characterizations of semicomputable sets of real numbers., , and . J. Log. Algebraic Methods Program., 84 (1): 124-154 (2015)Models of computation for partial functions on the reals., and . J. Log. Algebraic Methods Program., 84 (2): 218-237 (2015)On Infinite Computations in Denotational Semantics., , and . Theor. Comput. Sci., (1984)Continuity of operators on continuous and discrete time streams., and . Theor. Comput. Sci., 412 (28): 3378-3403 (2011)Computation by 'While' Programs on Topological Partial Algebras., and . Theor. Comput. Sci., 219 (1-2): 379-420 (1999)Computability of Operators on Continuous and Discrete Time Streams., and . Comput., 3 (1): 9-44 (2014)The adequacy problem for classical logic.. J. Philosophical Logic, 7 (1): 517-535 (1978)A Network Model of Analogue Computation over Metric Algebras., and . CiE, volume 3526 of Lecture Notes in Computer Science, page 515-529. Springer, (2005)Abstract versus concrete computation on metric partial algebras., and . ACM Trans. Comput. Log., 5 (4): 611-668 (2004)