Informatique mobile < Informatique théorique < Informatisation

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f

List of bibliographic references

Number of relevant bibliographic references: 105.
[40-60] [0 - 20][0 - 50][60-80]

Ident.	Authors (with country if any)	Title
000484 (2005)	Isabelle Debled-Rennesson [France] ; Jean-Luc Remy [France] ; Jocelyne Rouyer-Degli [France]	Linear segmentation of discrete curves into blurred segments
000499 (2005)	Olivier Bournez [France] ; Emmanuel Hainry [France]	Elementarily computable functions over the real numbers and R-sub-recursive functions
000514 (2005)	Mathilde Bouvel [France] ; Vladimir Grebinski [États-Unis] ; Gregory Kucherov [France]	Combinatorial search on graphs motivated by bioinformatics applications : A brief survey
000515 (2005)	Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]	Closure properties and decision problems of dag automata
000523 (2005)	Y. Gerard [France] ; I. Debled-Rennesson [France] ; P. Zimmermann [France]	An elementary digital plane recognition algorithm
000525 (2005)	Yannick Chevalier [France] ; Ralf Küsters [Allemagne] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]	An NP decision procedure for protocol insecurity with XOR
000555 (2004)		Implicit computational complexity
000562 (2004)	René Schott [France] ; Jean-Claude Spehner [France]	Two optimal parallel algorithms on the commutation class of a word
000563 (2004)	Laurent Alonso [France] ; Philippe Chassaing [France] ; Edward M. Reingold [États-Unis] ; René Schott [France]	The worst-case chip problem
000567 (2004)	Patrick Baillot [France]	Stratified coherence spaces: a denotational semantics for light linear logic
000568 (2004)	Yves Lafont [France]	Soft linear logic and polynomial time
000569 (2004)	S. Bellantoni [Canada] ; I. Oitavem [Portugal]	Separating NC along the δ axis
000576 (2004)	M. Hofmann [Allemagne] ; P. J. Scott [Canada]	Realizability models for BLL-like languages
000584 (2004)	L. Kristiansen [Norvège] ; K.-H. Niggl [Allemagne]	On the computational complexity of imperative programming languages
000585 (2004)	James S. Royer [États-Unis]	On the computational complexity of Longley's H functional
000586 (2004)	A. S. Murawski [Royaume-Uni] ; C.-H. L. Ong [Royaume-Uni]	On an interpretation of safe recursion in light affine logic
000591 (2004)	N. Danner [États-Unis] ; C. Pollett [États-Unis]	Minimization and NP multifunctions
000595 (2004)	Jean-Pierre Duval [France] ; Roman Kolpakov [Royaume-Uni] ; Gregory Kucherov [France] ; Thierry Lecroq [France] ; Arnaud Lefebvre [France]	Linear-time computation of local periods
000597 (2004)	Daniel Leivant [États-Unis]	Intrinsic reasoning about functional programs II: unipolar induction and primitive-recursion
000625 (2004)	Ralph Benzinger [États-Unis]	Automated higher-order complexity analysis
000629 (2004)	Klaus Aehlig [Allemagne] ; Ulrich Berger [Royaume-Uni] ; Martin Hofinann [Allemagne] ; Helmut Schwichtenberg [Allemagne]	An arithmetic for non-size-increasing polynomial-time computation

---

List of associated Author.i

Nombre de documents	Descripteur
5	Michaël Rusinowitch
4	P. De Groote
4	Véronique Cortier
4	Yannick Chevalier
3	C. Kirchner
3	Didier Galmiche
3	G. Kucherov
3	Gregory Kucherov
3	H. Touzet
3	J.-Y. Marion
3	Jean-Yves Marion
3	M. Hermann
3	M. Rusinowitch
3	Mathieu Turuani
3	Michael Rusinowitch
3	Silvio Ranise
2	A. Bouhoula
2	C. Retore
2	C. Ringeissen
2	Claude Kirchner
2	D. Jamet
2	Damien Jamet
2	Felipe Cucker
2	G. Bonfante
2	G. Paquin
2	H. Kirchner
2	J. Y. Marion
2	Jan Arne Telle
2	Jens Gustedt
2	Johanne Cohen
2	Jérome Besombes
2	O. Bournez
2	Olivier Bournez
2	P. Zimmermann
2	R. Kolpakov
2	René Schott
2	Steve Kremer
2	T. Genet
1	A. Amaniss
1	A. Bellanger
1	A. Cichon
1	A. Janiak
1	A. K. Lenstra
1	A. Muffett
1	A. Oulamara
1	A. S. Murawski
1	Abdessamad Imine
1	Alessandro Armando
1	Alessandro Cimatti
1	Alexander Bockmayr
1	Alexander Knapp
1	Ante Derek
1	Anupam Datta
1	Arnaud Lefebvre
1	Assefaw Hadish Gebremedhin
1	B. Dodson
1	B. Gramlich
1	B. Murphy
1	Bogdan Warinschi
1	Bruce Reed
1	C. Banderier
1	C. Castro
1	C. Pollett
1	C. Putman
1	C. Putnam
1	C.-H. L. Ong
1	Celina M. H. De Figueiredo
1	Cesare Tinelli
1	Ch. Lauter
1	Christiane Branlant
1	Christophe Ringeissen
1	Christopher Lynch
1	Claire Quigley
1	Clara Bertolissi
1	D. Bechet
1	D. Galmiche
1	D. Larchey-Wendling
1	D. Leivant
1	D. Lugiez
1	Damien Eveillard
1	Daniel Leivant
1	Delphine Ropers
1	Dieter Kratsch
1	Dominique Barth
1	Dominique Cansell
1	Dominique Larchey-Wendling
1	Dominique Méry
1	Duc-Khanh Tran
1	E. Monfroy
1	Edward M. Reingold
1	Elias P. Tsigaridas
1	Emmanuel Hainry
1	F. Jacquemard
1	F. Morain
1	Fedor Fomin
1	Franz Baader
1	G. Dowek
1	G. Guillerm
1	G. Perrier
1	G. Richomme

---

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/FC03.fr.i -k "Informatique théorique" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Informatique théorique" \
         | 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=    FC03.fr.i
   |clé=    Informatique théorique
}}

---

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