PascalFr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

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

Number of relevant bibliographic references: 30.
[0-20] [0 - 20][0 - 30][20-29][20-40]
Ident.Authors (with country if any)Title
000102 (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
000135 (2011) Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES
000229 (2009) A. Bellanger [France] ; A. Oulamara [France]Scheduling hybrid flowshop with parallel batching machines and compatibilities
000276 (2008) Jérome Besombes [France] ; Jean-Yves Marion [France]LEARNING DISCRETE CATEGORIAL GRAMMARS FROM STRUCTURES
000285 (2008) Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France]A Logical Account of PSPACE
000347 (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
000361 (2006) Mikhail Y. Kovalyov [Biélorussie] ; Marie-Claude Portmann [France] ; Ammar Oulamara [France]Optimal testing and repairing a failed series system
000362 (2006) Johanne Cohen [France] ; Fedor Fomin [Norvège] ; Pinar Heggemes [Norvège] ; Dieter Kratsch [France] ; Gregory Kucherov [France]Optimal linear arrangement of interval graphs
000376 (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
000396 (2006) Manin Abadi [États-Unis] ; Véronique Cortier [France]Deciding knowledge in security protocols under equational thoories
000464 (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
000495 (2005) Phong Q. Nguyen [France] ; Damien Stehle [France]Floating-point LLL revisited
000507 (2005) Véronique Cortier [France] ; Bogdan Warinschi [États-Unis]Computationally sound, automated proofs for security protocols
000515 (2005) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Closure properties and decision problems of dag automata
000568 (2004) Yves Lafont [France]Soft linear logic and polynomial time
000584 (2004) L. Kristiansen [Norvège] ; K.-H. Niggl [Allemagne]On the computational complexity of imperative programming languages
000591 (2004) N. Danner [États-Unis] ; C. Pollett [États-Unis]Minimization and NP multifunctions
000617 (2004) Martin Abadi [États-Unis] ; Veronique Cortier [France]Deciding knowledge in security protocols under equational theories
000629 (2004) Klaus Aehlig [Allemagne] ; Ulrich Berger [Royaume-Uni] ; Martin Hofinann [Allemagne] ; Helmut Schwichtenberg [Allemagne]An arithmetic for non-size-increasing polynomial-time computation
000685 (2003) F. Laroussinie [France] ; Ph. Schnoebelen [France] ; M. Turuani [France]On the expressivity and complexity of quantitative branching-time temporal logics
000723 (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/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i -k "Temps polynomial" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/PascalFr.i  \
                -Sk "Temps polynomial" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |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