BibSonomy publications for /user/a_olympia/theBibSonomypublrss/user/a_olympia/theBibSonomy RSS feed for /user/a_olympia/the2012-02-16T14:26:47+01:00Quantifier elimination for the reals with a predicate for the powers of twohttp://www.bibsonomy.org/bibtex/20160caf3b6781944fb6069b8bf74cf61/a_olympiaa_olympia2007-08-18T13:22:24+02:00elimination for of powers predicate quantifier reals the two <span class="authorEditorList"><a href="/author/Avigad">Jeremy Avigad</a>, and <a href="/author/Yin">Yimu Yin</a> </span>(<em>October 2006</em>)citeulikeTime, clocks, and the ordering of events in a distributed systemhttp://www.bibsonomy.org/bibtex/26dd13a52424aa438d7ec60c4d1dd0cb2/a_olympiaa_olympia2007-08-18T13:22:24+02:00and clocks distributed events ordering system the time <span class="authorEditorList"><a href="/author/Lamport">Leslie Lamport</a> </span><em>Commun. ACM</em> <em>21(7):558--565</em> (<em>July 1978</em>)citeulikeNexus: Small Worlds and the Groundbreaking Theory of Networkshttp://www.bibsonomy.org/bibtex/2e2035129c70fbaed47ffb31214e5411d/a_olympiaa_olympia2007-08-18T13:22:24+02:00and groundbreaking networks of small the theory worlds <span class="authorEditorList"><a href="/author/Buchanan">Mark Buchanan</a> </span><em>W. W. Norton \& Company, </em>(<em>May 2003</em>)citeulikeQuantum Algorithms and the Fourier Transformhttp://www.bibsonomy.org/bibtex/28c9a48526caec5e61920bb2664007240/a_olympiaa_olympia2007-08-18T13:22:24+02:00algorithm and fourier quantum the transform <span class="authorEditorList"><a href="/author/Jozsa">Richard Jozsa</a> </span>(<em>July 1997</em>)citeulikeQuantum Copying: Beyond the No-Cloning Theoremhttp://www.bibsonomy.org/bibtex/2af79e5516579b52507425809d364cc11/a_olympiaa_olympia2007-08-18T13:22:24+02:00beyond copying no-cloning quantum the theorem <span class="authorEditorList"><a href="/author/Buzek">Vladimir Buzek</a>, and <a href="/author/Hillery">Mark Hillery</a> </span>(<em>July 1996</em>)citeulike