Treffer 1 – 10 von 10 für Suche 'Zucker, Jeffrey I.', Suchdauer: 0,08s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Compactness in semantics for merge and fair merge

    Compactness in semantics for merge and fair merge von Bakker, Jacobus W. de 1939-2012, Zucker, Jeffrey I.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Processes and fair semantics for the ADA rendez-vous

    Processes and fair semantics for the ADA rendez-vous von Bakker, Jacobus W. de 1939-2012, Zucker, Jeffrey I.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Derivatives of programs

    Derivatives of programs von Bakker, Jacobus W. de 1939-2012, Zucker, Jeffrey I.

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic

    Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic von Zucker, Jeffrey I.

    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Program correctness over abstract data types, with error-state semantics

    Program correctness over abstract data types, with error-state semantics von Tucker, John V., Zucker, Jeffrey I.

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A semantic approach to fairness

    A semantic approach to fairness von Rutten, Jan J., Zucker, Jeffrey I.

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    On infinite computations in denotational semantics

    On infinite computations in denotational semantics von Bakker, Jacobus W. de 1939-2012, Meyer, John-Jules Ch. 1954-, Zucker, Jeffrey I.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Processes and a fair semantics for the ADA rendez-vouz

    Processes and a fair semantics for the ADA rendez-vouz von Bakker, Jacobus W. de 1939-2012, Zucker, Jeffrey I.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic

    Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic von Zucker, Jeffrey I.

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic

    Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic von Zucker, Jeffrey I.

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: