Alan Whitehead - PDFSEARCH.IO - Document Search Engine

Alan Whitehead
Results: 6

#	Item
1	λ-RBAC: Programming with Role-Based Access Control Radha Jagadeesan1,? , Alan Jeffrey2,? , Corin Pitcher1?? , and James Riely1,? ? ? 1 2 School of CTI, DePaul University Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:48 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Abstraction Generalised Whitehead product Symbol
2	UNIVERSITY OF SUSSEX COMPUTER SCIENCE A typed, prioritized process algebra Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:13 Bisimulation Logic in computer science Theoretical computer science Substitution Generalised Whitehead product
3	Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:04 Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical analysis Measure theory Generalised Whitehead product Indexed grammar
4	Contact: Alan Dittrich, PhD – (o[removed]m[removed]removed] MSMR Names Its 2014 Biomedical Research Leaders Add to Reading List Source URL: www.masslifesciences.com Language: English - Date: 2014-10-29 15:43:03 Whitehead Institute BIOMED Robert Weinberg Medical research Research Medicine Health Health sciences Massachusetts Institute of Technology
5	Mapping the Geologic Radon Potential of Canada Alan Whitehead, Radon Environmental Management Corp. RSI Radon Symposium, Ryerson University May 1, 2014 Add to Reading List Source URL: www.radiationsafety.ca - Date: 2014-05-20 14:26:06
6	PARLIAMENT TALKS ENERGY BILLS This information pack was created by Parliamentary Outreach as part of ‘Parliament Talks Energy Bills’, an event which took place at Anniesland College in Glasgow on Thursday 7th Februar Add to Reading List Source URL: www.parliament.uk Language: English - Date: 2013-02-12 10:42:28 Government of the United Kingdom Department of Energy and Climate Change Energy and Climate Change Select Committee House of Commons Information Office Early Day Motion Select committees of the Parliament of the United Kingdom Alan Whitehead Westminster system Parliament of the United Kingdom House of Commons of the United Kingdom