( en | de | ru )

 

Disambiguation of "White, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Axiomatic Constructor Classes in Isabelle/HOLCF.

, , and . TPHOLs, volume 3603 of Lecture Notes in Computer Science, page 147-162. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Leo White

Simon White

Simon White

Gary White

Julia Sabine Whitefield

 

Other publications of authors with the same name

Identity Management Architecture: A new direction.. CIT, page 408-413. IEEE Computer Society, (2008)EPConDB: a web resource for gene expression related to pancreatic development, beta-cell function and diabetes., , , , , , , , , and . Nucleic Acids Res., 35 (Database-Issue): 751-755 (2007)From dirt to shovels: fully automatic tool generation from ad hoc data., , , and . POPL, page 421-434. ACM, (2008)Preparing System Security Policies.. Security and Control of Information Technology in Society, volume A-43 of IFIP Transactions, page 97-108. North-Holland, (1993)Position Paper on Requirement Specification Language Project.. ADT, (1986)Student Comprehension of Classification Applications in a Science Education Digital Library., , , , and . ECDL, volume 2458 of Lecture Notes in Computer Science, page 560-567. Springer, (2002)The Role of Causality in Temporal Binding: Evidence for an Intentional Boost., , and . CogSci, cognitivesciencesociety.org, (2017)SNVstory: inferring genetic ancestry from genome sequencing data., , , , , and . BMC Bioinform., 25 (1): 76 (December 2024)Relative effects of central processor and input-output speeds upon throughput on the large computer.. Commun. ACM, 7 (12): 711-714 (1964)Cicero in letters : epistolary relations of the late republic. Oxford University Press Lightning Source)., Oxford, (2018)