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 0 ‡a Zucker, J. I. ‡q (Jeffery I.), ‡d 1942-
-
- 100 1 _ ‡a Zucker, Jeffery
- 100 1 _ ‡a Zucker, Jeffery I. ‡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 | |
A semantic approach to fairness | |
Table transformations : theory and tools | |
Tabular representations in relational documents |