Equivalence - PDFSEARCH.IO - Document Search Engine

Equivalence
Results: 2665

#	Item
301	Verifying Equivalence of Procedures in Different Languages: Preliminary Results David J. Musliner, Michael J. S. Pelican, Peter J. Schlette Smart Information Flow Technologies (SIFT) {dmusliner, mpelican, pschlette}@sift Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48
302	Observational Equivalence of Deterministic and Indeterministic Descriptions and the Role of Different Observations Charlotte Werndl Department of Philosophy, Logic and Scientific Method, London School of Economics and Po Add to Reading List Source URL: charlottewerndl.net Language: English - Date: 2011-06-01 09:10:11
303	Press Release Frankfurt / August 23, 2011 RAY is coming! In 2012 Frankfurt/RheinMain will celebrate photography for 200 days Add to Reading List Source URL: www.equivalence.com Language: English - Date: 2015-06-28 11:17:06
304	Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results Westley Weimer Zachary P. Fry Add to Reading List Source URL: dijkstra.cs.virginia.edu Language: English - Date: 2013-10-03 03:46:59
305	Reducing Equational Theories for the Decision of Static Equivalence★ Steve Kremer1 , Antoine Mercier1 , and Ralf Treinen2 1 2 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2009-12-03 11:29:23
306	Counting factors of automatic sequences up to abelian equivalence Aline Parreau Michel Rigo Add to Reading List Source URL: thales.math.uqam.ca Language: English - Date: 2014-10-23 11:28:17
307	Equivalence of certain norms on finite-dimensional vector spaces PHD 3rd Annual Conference, Samos, Greece 26th June Add to Reading List Source URL: www.math.aegean.gr Language: English - Date: 2007-07-03 07:29:04
308	Observational Equivalence Using Scheduler for Quantum Processes Add to Reading List Source URL: www-mmm.is.s.u-tokyo.ac.jp Language: English - Date: 2015-05-01 07:51:19
309	D2.3 Implementation of prototypes for equivalence properties Steve Kremer January 16, 2012 The results presented in this report have been obtained by Mathieu Baudet, Rohit Chadha, Ştefan Ciobâcă, Vincent Cheval, Huber Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-12-05 06:09:37
310	GROWING WORDS IN THE FREE GROUP ON TWO GENERATORS BOBBE COOPER AND ERIC ROWLAND Abstract. This paper is concerned with minimal-length representatives of equivalence classes of words in F2 under Aut F2 . We give a simple Add to Reading List Source URL: thales.math.uqam.ca Language: English - Date: 2012-12-08 21:15:21

UPDATE