PascalFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « PascalFr.i » - entrée « Temps polynomial »
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.
Temps partagé < Temps polynomial < Temps recherche  Facettes :

List of bibliographic references indexed by Temps polynomial

Number of relevant bibliographic references: 30.
[0-20] [0 - 20][0 - 30][20-29][20-40]
Ident.Authors (with country if any)Title
001E89 (2012) Vincent Boudht [France] ; Johanne Cohhn [France] ; Rodolphe Giroudeau [France] ; Jean-Clalide Könic [France]SCHEDULING IN THE PRESENCE OF PROCESSOR NETWORKS: COMPLEXITY AND APPROXIMATION
002721 (2011) Mouhebeddine Berrima ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]Deciding knowledge in security protocols under some e-voting theories
003B67 (2009) A. Bellanger [France] ; A. Oulamara [France]Scheduling hybrid flowshop with parallel batching machines and compatibilities
004456 (2008) Jérome Besombes [France] ; Jean-Yves Marion [France]LEARNING DISCRETE CATEGORIAL GRAMMARS FROM STRUCTURES
004465 (2008) Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France]A Logical Account of PSPACE
005415 (2006) Mikhail Y. Kovalyov [Biélorussie] ; Marie-Claude Portmann [France] ; Ammar Oulamara [France]Optimal testing and repairing a failed series system
005416 (2006) Johanne Cohen [France] ; Fedor Fomin [Norvège] ; Pinar Heggernes [Norvège] ; Dieter Kratsch [France] ; Gregory Kucherov [France]Optimal Linear Arrangement of Interval Graphs
005588 (2006) Yuri N. Sotskov [Biélorussie] ; Alexandre Dolgui [France] ; Marie-Claude Portmann [France]Stability analysis of an optimal balance for an assembly line with fixed cycle time
005600 (2006) Olivier Bournez [France] ; Felipe Cucker [Hong Kong] ; Paulin Jacobe De Naurois [France] ; Jean-Yves Marion [France]Implicit complexity over an arbitrary structure : Quantifier alternations
005612 (2006) Manin Abadi [États-Unis] ; Véronique Cortier [France]Deciding knowledge in security protocols under equational thoories
006207 (2005) Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France]Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
006279 (2005) Véronique Cortier [France] ; Bogdan Warinschi [États-Unis]Computationally Sound, Automated Proofs for Security Protocols
006366 (2005) Phong Q. Nguyen [France] ; Damien Stehle [France]Floating-point LLL revisited
006376 (2005) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Closure properties and decision problems of dag automata
006C20 (2004) Martín Abadi [États-Unis] ; Véronique Cortier [France]Deciding Knowledge in Security Protocols Under Equational Theories
006C91 (2004) Yves Lafont [France]Soft linear logic and polynomial time
006C99 (2004) L. Kristiansen [Norvège] ; K.-H. Niggl [Allemagne]On the computational complexity of imperative programming languages
006D02 (2004) N. Danner [États-Unis] ; C. Pollett [États-Unis]Minimization and NP multifunctions
006D23 (2004) Klaus Aehlig [Allemagne] ; Ulrich Berger [Royaume-Uni] ; Martin Hofinann [Allemagne] ; Helmut Schwichtenberg [Allemagne]An arithmetic for non-size-increasing polynomial-time computation
007B54 (2003) F. Laroussinie [France] ; Ph. Schnoebelen [France] ; M. Turuani [France]On the expressivity and complexity of quantitative branching-time temporal logics
007B71 (2003) J. Y. Marion [France]Analysing the implicit complexity of programs

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/PascalFr.i -k "Temps polynomial" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.i  \
                -Sk "Temps polynomial" \
         | 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=    PascalFr.i
   |clé=    Temps polynomial
}}
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