AffOrg.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AffOrg.i » - entrée « Société Max-Planck »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
PRES Sud de France < Société Max-Planck < Synalp (Loria)  Facettes :

List of bibliographic references indexed by Société Max-Planck

Number of relevant bibliographic references: 41.
[0-20] [0 - 20][0 - 41][20-40]
Ident.Authors (with country if any)Title
000297 (2015-10) Pascal Fontaine [France] ; Thomas Sturm [Allemagne] ; Uwe Waldmann [Allemagne]Foreword to the Special Focus on Constraints and Combinations
000354 (2015-09) Renate Schmidt [Royaume-Uni] ; Uwe Waldmann [Allemagne]Modal Tableau Systems with Blocking and Congruence Closure
000424 (2015-08) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Beagle – A Hierarchic Superposition Prover
000427 (2015-08) Martin Bromberger [Allemagne] ; Thomas Sturm [Allemagne] ; Christoph Weidenbach [Allemagne]Linear Integer Arithmetic Revisited
000452 (2015-07-06) Thomas Sturm [Allemagne]Subtropical Real Root Finding
000494 (2015-06-17) Yacine Bouzidi [France] ; Sylvain Lazard [France] ; Guillaume Moroz [France] ; Marc Pouget [France] ; Fabrice Rouillier [France] ; Michael Sagraloff [Allemagne]Improved algorithms for solving bivariate systems via Rational Univariate Representations
000516 (2015-06) Hassan Errami [Allemagne] ; Markus Eiswirth [Allemagne] ; Dima Grigoriev [France] ; Werner M. Seiler [Allemagne] ; Thomas Sturm [Allemagne] ; Andreas Weber [Allemagne]Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
000526 (2015-05-26) Roberto Calandra [France] ; Serena Ivaldi [France] ; Marc Deisenroth [Royaume-Uni] ; Elmar Rueckert [France] ; Jan Peters [Allemagne]Learning Inverse Dynamics Models with Contacts
000667 (2015-01) Stefan Canzar [France] ; Khaled Elbassioni [Allemagne] ; Gunnar W. Klau [Pays-Bas] ; Julián Mestre [France]On Tree-Constrained Matchings and Generalizations
000671 (2015-01) Marco Voigt [Allemagne] ; Christoph Weidenbach [Allemagne]Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete
000673 (2015-01) Marek Kosta [France] ; Thomas Sturm [Allemagne]A Generalized Framework for Virtual Substitution
000674 (2015) Gábor Alagi [Allemagne] ; Christoph Weidenbach [France]{NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
000727 (2015) Maximilian Jaroschek [Allemagne] ; Pablo Federico Dobal [Allemagne] ; Pascal Fontaine [France]Adapting Real Quantifier Elimination Methods for Conflict Set Computation
000811 (2015) Marek Kosta [France] ; Thomas Sturm [Allemagne] ; Andreas Dolzmann [Allemagne]Better Answers to Real Questions
000979 (2014-09) Christopher W. Brown [France] ; Marek Kosta [Allemagne]Constructing a single cell in cylindrical algebraic decomposition
000A63 (2014-07) Konstantin Korovin [Royaume-Uni] ; Marek Kosta [Allemagne] ; Thomas Sturm [France]Towards Conflict-Driven Learning for Virtual Substitution
000A66 (2014-07) Peter Baumgartner [Australie] ; Joshua Bax [Australie] ; Uwe Waldmann [Allemagne]Finite Quantification in Hierarchic Theorem Proving
000A68 (2014-07) Marek Kosta [Allemagne] ; Thomas Sturm [France] ; Andreas Dolzmann [Allemagne]Better Answers to Real Questions
000D79 (2014) Manuel Lamotte-Schubert [Allemagne] ; Christoph Weidenbach [France]BDI: a new decidable clause class
000F00 (2013-12-11) Peter Baumgartner [Australie] ; Uwe Waldmann [Allemagne]Hierarchic Superposition: Completeness without Compactness
001176 (2013-06-09) Noran Azmy [Allemagne] ; Christoph Weidenbach [Allemagne]Computing Tiny Clause Normal Forms

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i -k "Société Max-Planck" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i  \
                -Sk "Société Max-Planck" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffOrg.i
   |clé=    Société Max-Planck
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022