Pascal - PDFSEARCH.IO - Document Search Engine

Pascal
Results: 3744

#	Item
701	Benaloh’s Dense Probabilistic Encryption Revisited ? Laurent Fousse1 , Pascal Lafourcade2 , and Mohamed Alnuaimi3 1 3 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-12-05 06:09:37
702	Combinations of theories and the Bernays-Sch¨ onfinkel-Ramsey class Pascal Fontaine LORIA, Nancy University, France Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2007-07-30 05:54:40
703	Decision Procedures for the Formal Analysis of Software David D´eharbe1, , Pascal Fontaine2 , Silvio Ranise2,3 , and Christophe Ringeissen2 1 Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2007-01-06 05:42:01
704	Secure distributed computing on a Java CardTM∗ Grid Pascal Grange Achraf Karray† Damien Sauveron‡ Pierre Vignéras LaBRI, Laboratoire Bordelais de Recherche en Informatique Add to Reading List Source URL: damien.sauveron.fr Language: English - Date: 2013-02-26 15:54:32
705	Pascal Vuichard Aide-soignant CV : • • Add to Reading List Source URL: www.ate-ge.ch - Date: 2014-11-03 10:18:57
706	Restricted Two-Variable FO+MOD Sentences, Circuits and Communication Complexity Pascal Tesson1, and Denis Th´erien2, 1 D´epartement d’Informatique et de G´enie Logiciel, Universit´e Laval Add to Reading List Source URL: www2.ift.ulaval.ca Language: English - Date: 2014-01-17 10:59:53
707	Combining theories: the Ackerman and Guarded Fragments? Carlos Areces1,2 and Pascal Fontaine1,3 1 2 Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2012-01-26 04:30:40
708	Essay against giving By Pascal SÉVÉRAC Essay against giving: using the Spinozist concept of conatus (striving) to analyse the self-serving structure of giving in all its guises, Lordon offers a worthy mix of philosophy Add to Reading List Source URL: www.booksandideas.net Language: English - Date: 2008-04-21 18:00:00
709	Combining non-stably infinite, non-first order theories 1 Pascal Fontaine 2 and Pascal Gribomont 3 University of Li`ege (Belgium) Abstract Add to Reading List Source URL: www.montefiore.ulg.ac.be Language: English - Date: 2006-01-16 06:14:48
710	A Flexible Proof Format for SMT: a Proposal∗ Fr´ed´eric Besson Pascal Fontaine Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25

UPDATE