Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

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.

Le cluster Guillaume Bonfante - Jean-Yves Moyen

Terms

5Guillaume Bonfante
2Jean-Yves Moyen
13Jean-Yves Marion
4Jérome Besombes

Associations

Freq.WeightAssociation
20.632Guillaume Bonfante - Jean-Yves Moyen
40.555Jean-Yves Marion - Jérome Besombes
20.392Jean-Yves Marion - Jean-Yves Moyen
30.372Guillaume Bonfante - Jean-Yves Marion
Documents par ordre de pertinence
000462 (2005) Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France]Quasi-interpretations and small space bounds
000894 (2001) Guillaume Bonfante [France] ; Jean-Yves Marion [France] ; Jean-Yves Moyen [France]On lexicographic termination ordering with space bound certifications
000253 (2009) Guillaume Bonfante [France] ; Matthieu Kaczmarek [France] ; Jean-Yves Marion [France]Architecture of a morphological malware detector : EICAR 2008
000276 (2008) Jérome Besombes [France] ; Jean-Yves Marion [France]LEARNING DISCRETE CATEGORIAL GRAMMARS FROM STRUCTURES
000301 (2007) Jérome Besombes [France] ; Jean-Yves Marion [France]Learning tree languages from positive examples and membership queries
000596 (2004) Jérome Besombes [France] ; Jean-Yves Marion [France]Learning tree languages from positive examples and membership queries
000708 (2003) Jérome Besombes [France] ; Jean-Yves Marion [France]Efficient learning of regular tree languages and applications
000285 (2008) Marco Gaboardi [Italie] ; Simona Ronchi Della Rocca [Italie] ; Jean-Yves Marion [France]A Logical Account of PSPACE
000349 (2006) Guillaume Bonfante [France]Some programming languages for LOGSPACE and PTIME
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
000385 (2006) Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France]Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants
000659 (2003) Guillaume Bonfante [France] ; Bruno Guillaume [France] ; Guy Perrier [France]Analyse syntaxique électrostatique : Évolutions en analyse syntaxique
000797 (2002) Serge Grigorieff [France] ; Jean-Yves Marion [France]Kolmogorov complexity and non-determinism
000921 (2001) Jean-Yves Marion [France]Actual arithmetic and feasibility
000A06 (2000) Jean-Yves Marion [France] ; J.-Y. Moyen [France]Efficient first order functional program interpreter with time bound certifications
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