VIAF

Virtual International Authority File

Search

Zucker, J. I. BIBSYS

Zucker, J. I. (Jeffery I.), 1942- Library of Congress/NACO Library and Archives Canada

Zucker, Jeffery I. 1942-.... National Library of France German National Library

Zucker, Jeffery Ian, 1942- National Library of the Netherlands

Zucker, Jeffery ISNI

Zucker, Jeffery (1942- ). NUKAT Center of Warsaw University Library

Zucker, J. I. (Jeffrey I.), 1942- National Library of Australia

VIAF ID: 91917139 (Personal)

Permalink: //viaf.org/viaf/91917139

ISNI: 0000  0000  8164  5222 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (8)

Open Section Close SectionWorks

Title Sources
Compactness in semantics for merge and fair merge National Library of the Netherlands
Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic / J. I. Zucker. - Amsterdam, 1972. NUKAT Center of Warsaw University Library
Derivatives of programs [microvorm] National Library of the Netherlands
Mathematical theory of program correctness NUKAT Center of Warsaw University Library
On infinite computations in denotational semantics National Library of the Netherlands
Processes and a fair semantics for the ADA rendez-vous National Library of the Netherlands
Processes and the denotational semantics of concurrency National Library of the Netherlands
Program correctness over abstract data types, with error-state semantics Library of Congress/NACO National Library of France National Library of the Netherlands BIBSYS
Proof-theoretic studies of systems of iterated inductive definitions and subsystems of analysis National Library of the Netherlands
A semantic approach to fairness National Library of the Netherlands
Table transformations : theory and tools Library and Archives Canada
Tabular representations in relational documents Library and Archives Canada

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:91917139 (13)