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 |
![]() |
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 |
![]() |