Zucker, J. I.
Zucker, J. I. (Jeffery I.), 1942-
Zucker, Jeffery I. 1942-....
Zucker, Jeffery Ian, 1942-
Zucker, Jeffery
Zucker, Jeffery (1942- ).
Zucker, J. I. (Jeffrey I.), 1942-
VIAF ID: 91917139 (Personal)
Permalink: http://viaf.org/viaf/91917139
Preferred Forms
-
200 _ |
‡a
Zucker
‡b
Jeffery I.
‡f
1942-....
-
100 1 _
‡a
Zucker, J. I.
-
100 1 _ ‡a Zucker, J. I.
-
100 1 0
‡a
Zucker, J. I.
‡q
(Jeffery I.),
‡d
1942-
-
100 1 _ ‡a Zucker, J. I. ‡q (Jeffery I.), ‡d 1942-
-
100 1 _ ‡a Zucker, J. I. ‡q (Jeffrey I.), ‡d 1942-
-
100 1 _
‡a
Zucker, Jeffery
-
100 1 _
‡a
Zucker, Jeffery I.
‡d
1942-
-
100 1 _ ‡a Zucker, Jeffery Ian, ‡d 1942-
-
100 1 _ ‡a Zucker, Jeffery ‡d (1942- ).
4xx's: Alternate Name Forms (9)
Works
| Title | Sources |
|---|---|
| Compactness in semantics for merge and fair merge |
|
| Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic |
|
| Derivatives of programs [microvorm] |
|
| Mathematical theory of program correctness |
|
| On infinite computations in denotational semantics |
|
| Processes and a fair semantics for the ADA rendez-vous |
|
| Processes and the denotational semantics of concurrency |
|
| Program correctness over abstract data types, with error-state semantics |
|
| Proof-theoretic studies of systems of iterated inductive definitions and subsystems of analysis |
|
| A semantic approach to fairness |
|
| Table transformations : theory and tools |
|
| Tabular representations in relational documents |
|
