Finite choice, convex choice and finding roots von Roux, Stéphane Le, Pauly, Arno

Volltext

Minkowski Games von Roux, Stéphane Le, Pauly, Arno, Raskin, Jean-François

Volltext

Extending Finite Memory Determinacy to Multiplayer Games von Le Roux, Stéphane, Pauly, Arno

Volltext

A Semi-Potential for Finite and Infinite Sequential Games (Extended Abstract) von Le Roux, Stéphane, Pauly, Arno

Volltext

Dynamics and Coalitions in Sequential Games von Brihaye, Thomas, Geeraerts, Gilles, Hallet, Marion, Le Roux, Stéphane

Volltext

An Existence Theorem of Nash Equilibrium in Coq and Isabelle von Le Roux, Stéphane, Martin-Dorel, Érik, Smaus, Jan-Georg

Volltext

Games Where You Can Play Optimally with Arena-Independent Finite Memory von Bouyer, Patricia, Roux, Stéphane Le, Oualhadj, Youssouf, Randour, Mickael, Vandenhove, Pierre

Volltext

Multikilogram Synthesis of a Potent Dual Bcl-2/Bcl‑xL Antagonist. 2. Manufacture of the 1,3-Diamine Moiety and Improvement of the Final Coupling Reaction von Hardouin, Christophe, Baillard, Sandrine, Barière, François, Craquelin, Anthony, Grandjean, Mathieu, Janvier, Solenn, Le Roux, Stéphane, Penloup, Christine, Russo, Olivier

Volltext

Multikilogram Synthesis of a Potent Dual Bcl-2/Bcl‑xL Antagonist. 1. Manufacture of the Acid Moiety and Development of Some Key Reactions von Hardouin, Christophe, Baillard, Sandrine, Barière, François, Copin, Chloé, Craquelin, Anthony, Janvier, Solenn, Lemaitre, Sylvain, Le Roux, Stéphane, Russo, Olivier, Samson, Sébastien

Volltext

A Semi-Potential for Finite and Infinite Games in Extensive Form von Le Roux, Stéphane, Pauly, Arno

Volltext

Singular coverings and non-uniform notions of closed set computability von Le Roux, Stéphane, Ziegler, Martin

Volltext

Infinite sequential Nash equilibrium von Roux, Stephane Le

Volltext

Accurate quantum–mechanical evaluation of the electric polarization of periodic solids using a multi-step method von Le roux, Stéphane, Gonze, Xavier

Volltext

Extending finite-memory determinacy to multi-player games von Le Roux, Stéphane, Pauly, Arno

Volltext

Memoryless determinacy of infinite parity games: Another simple proof von Le Roux, Stéphane

Volltext

Equilibria in multi-player multi-outcome infinite sequential games von Le Roux, Stéphane, Pauly, Arno

Volltext

On the Computational Content of the Brouwer Fixed Point Theorem von Brattka, Vasco, Le Roux, Stéphane, Pauly, Arno

Volltext

On the termination of dynamics in sequential games von Brihaye, Thomas, Geeraerts, Gilles, Hallet, Marion, Le Roux, Stéphane

Volltext

A Machine-Checked Proof of the Odd Order Theorem von Gonthier, Georges, Asperti, Andrea, Avigad, Jeremy, Bertot, Yves, Cohen, Cyril, Garillot, François, Le Roux, Stéphane, Mahboubi, Assia, O’Connor, Russell, Ould Biha, Sidi, Pasca, Ioana, Rideau, Laurence, Solovyev, Alexey, Tassi, Enrico, Théry, Laurent

Volltext

On the existence of weak subgame perfect equilibria von Bruyère, Véronique, Le Roux, Stéphane, Pauly, Arno, Raskin, Jean-François

Volltext