( en | de | ru )

 

Disambiguation of "Zucker, Jeffery I."

Author of the publication

copydeleteadd this publication to your clipboard
Tabular Representations in Relational Documents.

, , and . Relational Methods in Computer Science, Springer, (1997)

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

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