Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Guillaume Bonfante »
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.
Grégory Kucherov < Guillaume Bonfante < Guillaume Burel  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 16.
Ident.Authors (with country if any)Title
000104 (2005) Guillaume Bonfante ; Jean-Yves Marion ; Jean-Yves Moyen ; Romain PéchouxSynthesis of Quasi-interpretations
000247 (2005) Guillaume Bonfante ; Jean-Yves Marion ; Jean-Yves MoyenQuasi-interpretations and small space bounds
000518 (2005) Guillaume Bonfante ; Jean-Yves Marion ; Jean-Yves MoyenQuasi-interpretation : a way to control ressources
000654 (2004) Guillaume Bonfante ; Bruno Guillaume ; Guy PerrierPolarization and abstraction of grammatical formalisms as methods for lexical disambiguation
000924 (2003) Guillaume Bonfante ; Bruno Guillaume ; Guy PerrierAnalyse syntaxique électrostatique
001490 (2001) Guillaume Bonfante ; Adam Cichon ; Jean-Yves Marion ; Hélène TouzetAlgorithms with Polynomial Interpretation Termination Proof
001531 (2001) Guillaume Bonfante ; Jean-Yves Marion ; Jean-Yves MoyenOn lexicographic termination ordering with space bound certifications
001751 (2001) Guillaume Bonfante ; Philippe De GrooteStochastic Lambek Categorial Grammars
001777 (2001) Guillaume Bonfante ; Francois Lamarche ; Thomas StreicherA model of a dependent linear calculus
001818 (2000) Guillaume BonfanteConstructions d'ordres, analyse de la complexité
001A91 (2000) Guillaume BonfanteComplexity characterisation of restrictions of KBO
001B71 (2000) Guillaume Bonfante ; Francois LamarcheA monotone lambda-calculus : the example of ordinal terms
001F58 (1999) Guillaume BonfanteComplexity characterisation of restrictions of KBO
001F86 (1999) Guillaume Bonfante ; François LamarcheConstructing orders by means of inductive definitions
002299 (1998) Guillaume Bonfante ; Adam Cichon ; François LamarcheA semantics and a syntax for ordinal notations and hierarchies
002364 (1998) Guillaume Bonfante ; Adam Cichon ; Jean-Yves Marion ; Helene TouzetComplexity classes and rewrite systems with polynomial interpretation

List of associated KwdEn.i

Nombre de
documents		Descripteur
3complexity
2categorial grammars
2kbo
2linspace
2quasi-interpretation
2semantics
2termination orderings
1DEXP-TIME
1EXP-TIME
1Grothendieck fibrations
1LINSPACE
1PTIME
1Polynomial interpretation
1Rewriting systems
1calcul lambda
1categorical semantics
1complexity analysis
1computational linguistics
1dependent types
1etime
1etime.
1grammatical formalisms
1implicit complexity
1induction
1inductive types
1lexical disambiguation
1lexicographic path ordering
1linear logic
1martin lof
1natural langage processing
1orderings
1orders
1ordinal notations
1ordinals
1ordinaux
1parsing
1polarities
1polynomial interpretation
1polynomial space certification
1quasi-interpretations
1ressource control
1rewriting
1rewriting system
1récursion
1stochastic
1symmetric monoidal categories
1syntax
1synthesis problem
1sémantique
1typed lambda calculus
1typed λ-calculi
1unification grammars
1universal algebra

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Guillaume Bonfante" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Guillaume Bonfante" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Guillaume Bonfante
}}
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