Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
241	Formal Verification of Distributed Programs using Session Types and Coq Morten Fangel Jensen Advisors: Jesper Bengtson and Fabrizio Montesi Submitted: June 2014 Add to Reading List Source URL: sevengoslings.net Language: English - Date: 2014-06-02 05:37:12 Applied mathematics Program logic Substructural logic Formal methods Formal verification Hoare logic Correctness Communications protocol Separation logic Theoretical computer science Mathematics Logic in computer science
242	The Bedrock Tutorial Adam Chlipala March 28, 2013 Contents 1 Three Veried Bedrock Programs Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2013-03-28 17:00:59 Program logic Logic in computer science Formal languages Proof theory Separation logic Hoare logic Coq Function Well-formed formula Logic Mathematics Mathematical logic
243	Field tests of avian host preference of Culex tarsalis Coq. Add to Reading List Source URL: www.mosquitocatalog.org Language: English - Date: 2010-04-22 16:17:37 Animal cruelty Trapping Tropical diseases Malaria Icteridae Tricolored Blackbird Agelaius Mosquito-borne disease Avian malaria Biology Medicine Zoology
244	Microsoft Word - Gasfitter Examination CoQ Application _FRM-0507-05_.docx Add to Reading List Source URL: www.safetyauthority.ca Language: English - Date: 2014-06-10 12:38:09 Educational psychology Exercise Sports science Test Health Education Standardized tests Evaluation
245	Microsoft Word - Gasfitter Examination CoQ Application _FRM-0507-05_.docx Add to Reading List Source URL: safetyauthority.ca Language: English - Date: 2014-06-10 12:38:09 Educational psychology Exercise Sports science Test Health Education Standardized tests Evaluation
246	Louvain-la-Neuve, le vendredi 25 juin[removed]Le jardin de la Source réaménagé Jardin de la Source (ou Forum des Halles, en cas de mauvais temps) Cortil du Coq Hardi – 1348 Louvain-la-Neuve Parking Esplanade (payant) Add to Reading List Source URL: www.uclouvain.be Language: French - Date: 2014-02-09 12:08:34
247	PDF Document Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2013-10-18 06:54:57 Software Functional languages Homotopy type theory Type theory Coq Homotopy Agda Vladimir Voevodsky Topology Homotopy theory Mathematics
248	Microsoft Word - Trademark Licensing Agreement for COQ Properties _2_.doc Add to Reading List Source URL: www.nahma.org Language: English Christology Functional languages Nahma Coenzyme Q10 Affordable housing Coq Logo Christian theology Theology Christianity
249	C O R P O R AT E PA RT N E R Become a Communities of Quality Corporate Partner Add to Reading List Source URL: www.nahma.org Language: English Benzoquinones Cellular respiration Coenzyme Q10 Coenzymes Glycolysis Affordable housing Biology Coq A. Le Coq Chemistry Biochemistry Antioxidants
250	Chaetotaxy of the Pupa of the Mosquito Culex tarsalis Coq. Add to Reading List Source URL: digital.library.okstate.edu Language: English - Date: 2009-01-09 17:01:15 Insect anatomy Insect morphology Developmental biology Entomology Pupa Mosquito Chaetotaxy Insect wing Thorax Zoology Biology Phyla

UPDATE