VIAF

Virtual International Authority File

Search

Cover for 3540071423

Manes, Ernest G., 1943-....National Library of AustraliaSUDOC (France)Library of Congress/NACODeutsche Nationalbibliothek

Manes, Ernest Gene, 1943-National Library of the Netherlands-testNUKAT Center (Poland)

Manes, Ernest G.Bibliothèque nationale de France

VIAF ID: 108277479 (Personal)

Permalink: http://viaf.org/viaf/108277479

Open SectionClose Section Preferred Forms

  • National Library of Australia
    Internal VIAF record
    100 1 _ ‎‡a  Manes, Ernest G.,‏ ‎‡d  1943-
  • Bibliothèque nationale de France
    Internal VIAF record
    200 _ | ‎‡a  Manes‏ ‎‡b  Ernest G.
  • SUDOC (France)
    Internal VIAF record
    100 1 _ ‎‡a  Manes, Ernest G.,‏ ‎‡d  1943-....
  • Deutsche Nationalbibliothek
    Internal VIAF record
    100 1 _ ‎‡a  Manes, Ernest G.‏ ‎‡d  1943-
  • Library of Congress/NACO
    Internal VIAF record
    100 1 0 ‎‡a  Manes, Ernest G.,‏ ‎‡d  1943-
  • National Library of the Netherlands-test
    Internal VIAF record
    100 1 _ ‎‡a  Manes, Ernest Gene,‏ ‎‡d  1943-
  • NUKAT Center (Poland)
    Internal VIAF record
    100 1 _ ‎‡a  Manes, Ernest Gene‏ ‎‡d  (1943- ).

 

 

Open SectionClose Section 4xx's: Alternate Name Forms (5)

Open SectionClose Section Selected Titles

  1. Algebraic approaches to program semantics ‎(7) National Library of the Netherlands-testNUKAT Center (Poland)SUDOC (France)Library of Congress/NACODeutsche Nationalbibliothek
  2. Algebraic theories ‎(5) National Library of the Netherlands-testNUKAT Center (Poland)Library of Congress/NACODeutsche Nationalbibliothek
  3. Predicate transformer semantics ‎(4) National Library of the Netherlands-testSUDOC (France)Library of Congress/NACO
  4. Foundations of system theory finitary and infinitary conditions ‎(4) National Library of the Netherlands-testNUKAT Center (Poland)Library of Congress/NACODeutsche Nationalbibliothek
  5. Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 ‎(3) NUKAT Center (Poland)Library of Congress/NACODeutsche Nationalbibliothek
  6. Arrows, structures, and functors : the categorical imperative ‎(3) National Library of the Netherlands-testNUKAT Center (Poland)Library of Congress/NACO
  7. Predicate transformer semantics ‎(1) Bibliothèque nationale de France
  8. Category theory applied to computation and control proceedings of the 1. internat. symposium, San Francisco, Febr. 25 - 26, 1974 ‎(1) Deutsche Nationalbibliothek
  9. Category theory applied to computation and control : proceedings of the first international symposium ‎(1) NUKAT Center (Poland)
  10. Category theory applied to computation and control ‎(1) NUKAT Center (Poland)

Open SectionClose Section Selected Co-authors

Open SectionClose Section Countries of Publication (4)

Open SectionClose Section Publication Statistics

Open SectionClose Section Selected Publishers (4)

Open SectionClose Section About

Open SectionClose Section History of VIAF ID:108277479 (11)