VIAF

Virtual International Authority File

Search

O'Hearn, Peter W. (Peter William), 1963- National Library of the Netherlands Library of Congress/NACO Library and Archives Canada

O'Hearn, Peter ISNI

O'Hearn, Peter W. National Library of France

O'Hearn, Peter W. 1963- German National Library

Peter O'Hearn Wikidata

O'Hearn, Peter W. (Peter William) NII (Japan)

VIAF ID: 188793539 (Personal)

Permalink: http://viaf.org/viaf/188793539

Open Section Close Section Preferred Forms

 

 

 

 

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

Open Section Close SectionWorks

Title Sources
ALGOL-like languages German National Library National Library of the Netherlands National Library of France Library of Congress/NACO
The Logic of Bunched Implications Wikidata
Semantics of noninterference. Library and Archives Canada
Verified software : theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings National Library of the Netherlands Library of Congress/NACO
VSTTE 2010 National Library of the Netherlands

Open Section Close Section Selected Co-authors

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

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (9)

Open Section Close Section History of VIAF ID:188793539 (12)