Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
151	1/ Toccata Toccata Deductive Verification, Certified Tools and Numerical Computations Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Formal methods Functional languages Logic in computer science Theoretical computer science Automated theorem proving Formal verification SIGNAL Coq National Institute for Research in Computer Science and Control Computing Software engineering Software
152	T +Santiago Zanella Béguelin H +u + Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Cryptography Proof assistant Science Software Computing Formal sciences Coq GlobalPlatform
153	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
154	Sculpture «coq Japy» - BEaUcoUrT Sculpture «du Forgeron» - GranDvILLarS Sculpture «roue ailée» - DELLE Add to Reading List Source URL: www.cc-sud-territoire.fr Language: French - Date: 2014-09-17 07:43:05
155	IN PARTNERSHIP WITH: Université Paris-Sud (Paris 11) Activity ReportProject-Team TOCCATA Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 11:15:16 Automated theorem proving Formal methods Logic in computer science Artificial intelligence Formal verification Coq Proof assistant KeY Automated reasoning Theoretical computer science Mathematics Applied mathematics
156	vient de paraître Sommaire Dossier D.Acloque, P. Gasselin, H. Rouillé d’Orfeuil Agricultures familiales : la roue tourne ? É. Sabourin, J. Marzin, J.-F. Le Coq, G. Massardier, S. Add to Reading List Source URL: www.univ-paris1.fr Language: French - Date: 2014-12-10 06:22:17
157	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
158	Curriculum Vitae for Thierry Coquand Born, Jallieu (Is`ere, France) Education ´ • 1980 Ecole Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-20 10:27:36 Dependently typed programming Type theory Predicate logic Logic in computer science Mathematical constructivism Constructivism Constructive proof Coq Proof theory Mathematical logic Logic Programming language theory
159	tinlids best books for schools and libraries We oﬀer 20 Add to Reading List Source URL: tinlids.ca Language: English - Date: 2015-03-09 15:02:00 Cocorico Pack Software Declarative programming Functional programming Coq Guided reading Six pack
160	Use of an electronic medical record to implement, monitor, and improve HEALTHQUAL clinical care indicator performance rates Bijou, Sujata, MPH ; Labbé Coq, Nancy Rachel, MD, MSc ; Balan, Jean Gabriel, MD ; de Riel, Emil Add to Reading List Source URL: www.go2itech.org Language: English - Date: 2012-07-20 12:07:55 Health informatics Electronic medical record Health Medicine Medical informatics

UPDATE