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.
Touzani A < Touzet H < Touzi J

H. Touzet
France
009742
00B081
00C916
France
LIFL - USTL, 59655 Villeneuve d'Ascq Cedex
Hauts-de-FranceNord-Pas-de-CalaisVilleneuve d'Ascq
009742
France
Loria, Calligramme project, B.P. 239, 54506, Vandœuvre-lès-Nancy Cedex
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00B081
Loria - Université Nancy 2 BP 23954506 Vandœuvre-lès-NancyFRA1 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00BB93
Loria, Calligramme project, B.P. 23954506 Vandœuvre-lès-NancyFRA1 aut.2 aut.3 aut.4 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
00B185
Loria -, Université Nancy 2, BP 23954506 Vandœuvre-lès-NancyFRA1 aut.
France
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Université Nancy 2
00BB77
00C916
NONE
00C662
Helene Touzet
Laboratoire d'Informatique Fondamentale de LilleLIFLBâtiment M3 59655 Villeneuve d'Ascq Cédexhttp://www.lifl.fr/0264045240000000121517701Université de Lille, Sciences Humaines et SocialesDomaine universitaire du "Pont de Bois"Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedexhttp://www.univ-lille3.fr/026404184Université de Lille, Sciences et TechnologiesCité Scientifique - 59655 Villeneuve d'Ascq Cedexhttp://www.univ-lille1.fr/Institut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/
France
009C87
NONE
00B837
00BF67
Hélène Touzet
France
00BA94
00BB24
199618306VLinear logic, proof networks and categorial grammarsCALLIGRAMMEhttp://www.inria.fr/equipes/calligrammeLaboratoire Lorrain de Recherche en Informatique et ses ApplicationsLORIACampus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedexhttp://www.loria.fr000000012259750402636817XCentre National de la Recherche ScientifiqueCNRS1939-10-19http://www.cnrs.fr/Institut National de Recherche en Informatique et en AutomatiqueInriaDomaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedexhttp://www.inria.fr/en/Université Henri Poincaré - Nancy 1UHP2011-12-3124-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, FranceUniversité Nancy 22011-12-3191 avenue de la Libération, BP 454, 54001 Nancy cedexInstitut National Polytechnique de LorraineINPL2011-12-31INRIA Lorraine615 rue du Jardin Botanique 54600 Villers-lès-Nancyhttp://www.inria.fr/centre-de-recherche-inria/nancy-grand-est
France
NancyGrand EstLorraine (région)
Université Nancy 2
Université de Lorraine
NancyGrand EstLorraine (région)
Institut national polytechnique de Lorraine
Université de Lorraine
00B522
00B524
France
Loria - Université Nancy 2, BP 239, 54506, Vandœuvre-lès-Nancy
Grand EstLorraine (région)Vandœuvre-lès-Nancy
Université Nancy 2
00BA94
France
Loria, Université Nancy 2, DP 239, 54506, Vand∄uvre-lès-Nancy
Grand EstLorraine (région)Vand∄uvre-lès-Nancy
Université Nancy 2
00BB24
NONE
009395
00B634
00B744
00BE47
00C663
Héléne Touzet
France
00B119
France
LIFL - Université Lille 1, 59 655, Villeneuve d’Ascq
Université Lille I - Sciences et technologies
LilleHauts-de-FranceNord-Pas-de-Calais
00B119

<g>
<k>Touzet H</k>
<l>
<g>
<k>H. Touzet</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
</affiliation>
</k>
<l>
<i>009742</i>
<i>00B081</i>
<i>00C916</i>
</l>
<n>3</n>
<t>3</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country wicri:rule="url">France</country>
<wicri:regionArea>LIFL - USTL, 59655 Villeneuve d'Ascq Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Hauts-de-France</region>
<region type="old region" nuts="2">Nord-Pas-de-Calais</region>
<settlement type="city">Villeneuve d'Ascq</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>009742</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria, Calligramme project, B.P. 239, 54506, Vandœuvre-lès-Nancy Cedex</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00B081</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>Loria - Université Nancy 2 BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00BB93</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="3">
<inist:fA14 i1="01">
<s1>Loria, Calligramme project, B.P. 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
</affiliation>
</k>
<l>
<i>00B185</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<inist:fA14 i1="01">
<s1>Loria -, Université Nancy 2, BP 239</s1>
<s2>54506 Vandœuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00BB77</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation></affiliation>
</k>
<l>
<i>00C916</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>NONE</affiliation>
</k>
<l>
<i>00C662</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>8</n>
<t>10</t>
</g>
<g>
<k>Helene Touzet</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="laboratory" xml:id="struct-2546" status="VALID">
<orgName>Laboratoire d'Informatique Fondamentale de Lille</orgName>
<orgName type="acronym">LIFL</orgName>
<desc>
<address>
<addrLine>Bâtiment M3 59655 Villeneuve d'Ascq Cédex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.lifl.fr/</ref>
</desc>
<listRelation>
<relation active="#struct-301700" type="direct"></relation>
<relation active="#struct-92973" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation name="UMR8022" active="#struct-441569" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-301700" type="direct">
<org type="institution" xml:id="struct-301700" status="VALID">
<idno type="IdRef">026404524</idno>
<idno type="ISNI">0000000121517701</idno>
<orgName>Université de Lille, Sciences Humaines et Sociales</orgName>
<desc>
<address>
<addrLine>Domaine universitaire du "Pont de Bois"Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lille3.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-92973" type="direct">
<org type="institution" xml:id="struct-92973" status="VALID">
<idno type="IdRef">026404184</idno>
<orgName>Université de Lille, Sciences et Technologies</orgName>
<desc>
<address>
<addrLine>Cité Scientifique - 59655 Villeneuve d'Ascq Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-lille1.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="direct">
<org type="institution" xml:id="struct-300009" status="VALID">
<orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc>
<address>
<addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle name="UMR8022" active="#struct-441569" type="direct">
<org type="institution" xml:id="struct-441569" status="VALID">
<idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
</affiliation>
</k>
<l>
<i>009C87</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>NONE</affiliation>
</k>
<l>
<i>00B837</i>
<i>00BF67</i>
</l>
<n>2</n>
<t>2</t>
</g>
</l>
<n>2</n>
<t>3</t>
</g>
<g>
<k>Hélène Touzet</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
</affiliation>
</k>
<l>
<i>00BA94</i>
<i>00BB24</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="1">
<hal:affiliation type="researchteam" xml:id="struct-2347" status="OLD">
<idno type="RNSR">199618306V</idno>
<orgName>Linear logic, proof networks and categorial grammars</orgName>
<orgName type="acronym">CALLIGRAMME</orgName>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/equipes/calligramme</ref>
</desc>
<listRelation>
<relation active="#struct-160" type="direct"></relation>
<relation name="UMR7503" active="#struct-441569" type="indirect"></relation>
<relation active="#struct-300009" type="indirect"></relation>
<relation active="#struct-300291" type="indirect"></relation>
<relation active="#struct-300292" type="indirect"></relation>
<relation active="#struct-300293" type="indirect"></relation>
<relation active="#struct-2496" type="direct"></relation>
</listRelation>
<tutelles>
<tutelle active="#struct-160" type="direct">
<org type="laboratory" xml:id="struct-160" status="OLD">
<orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
<orgName type="acronym">LORIA</orgName>
<desc>
<address>
<addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr</ref>
</desc>
<listRelation>
<relation name="UMR7503" active="#struct-441569" type="direct"></relation>
<relation active="#struct-300009" type="direct"></relation>
<relation active="#struct-300291" type="direct"></relation>
<relation active="#struct-300292" type="direct"></relation>
<relation active="#struct-300293" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle name="UMR7503" active="#struct-441569" type="indirect">
<org type="institution" xml:id="struct-441569" status="VALID">
<idno type="ISNI">0000000122597504</idno>
<idno type="IdRef">02636817X</idno>
<orgName>Centre National de la Recherche Scientifique</orgName>
<orgName type="acronym">CNRS</orgName>
<date type="start">1939-10-19</date>
<desc>
<address>
<country key="FR"></country>
</address>
<ref type="url">http://www.cnrs.fr/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300009" type="indirect">
<org type="institution" xml:id="struct-300009" status="VALID">
<orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
<orgName type="acronym">Inria</orgName>
<desc>
<address>
<addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/en/</ref>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300291" type="indirect">
<org type="institution" xml:id="struct-300291" status="OLD">
<orgName>Université Henri Poincaré - Nancy 1</orgName>
<orgName type="acronym">UHP</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300292" type="indirect">
<org type="institution" xml:id="struct-300292" status="OLD">
<orgName>Université Nancy 2</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-300293" type="indirect">
<org type="institution" xml:id="struct-300293" status="OLD">
<orgName>Institut National Polytechnique de Lorraine</orgName>
<orgName type="acronym">INPL</orgName>
<date type="end">2011-12-31</date>
<desc>
<address>
<country key="FR"></country>
</address>
</desc>
</org>
</tutelle>
<tutelle active="#struct-2496" type="direct">
<org type="laboratory" xml:id="struct-2496" status="OLD">
<orgName>INRIA Lorraine</orgName>
<desc>
<address>
<addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
</desc>
<listRelation>
<relation active="#struct-300009" type="direct"></relation>
</listRelation>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
<placeName>
<settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="university">Institut national polytechnique de Lorraine</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName>
</affiliation>
</k>
<l>
<i>00B522</i>
<i>00B524</i>
</l>
<n>2</n>
<t>2</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria - Université Nancy 2, BP 239, 54506, Vandœuvre-lès-Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vandœuvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00BA94</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>Loria, Université Nancy 2, DP 239, 54506, Vand∄uvre-lès-Nancy</wicri:regionArea>
<placeName>
<region type="region" nuts="2">Grand Est</region>
<region type="old region" nuts="2">Lorraine (région)</region>
<settlement type="city">Vand∄uvre-lès-Nancy</settlement>
</placeName>
<orgName type="university">Université Nancy 2</orgName>
</affiliation>
</k>
<l>
<i>00BB24</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation>NONE</affiliation>
</k>
<l>
<i>009395</i>
<i>00B634</i>
<i>00B744</i>
<i>00BE47</i>
<i>00C663</i>
</l>
<n>5</n>
<t>5</t>
</g>
</l>
<n>5</n>
<t>11</t>
</g>
<g>
<k>Héléne Touzet</k>
<l>
<g>
<k>
<affiliation wicri:level="1">
<country wicri:rule="url">France</country>
</affiliation>
</k>
<l>
<i>00B119</i>
</l>
<n>1</n>
<t>1</t>
</g>
<g>
<k>
<affiliation wicri:level="4">
<country xml:lang="fr">France</country>
<wicri:regionArea>LIFL - Université Lille 1, 59 655, Villeneuve d’Ascq</wicri:regionArea>
<orgName type="university">Université Lille I - Sciences et technologies</orgName>
<placeName>
<settlement type="city">Lille</settlement>
<region type="region" nuts="2">Hauts-de-France</region>
<region type="old region" nuts="2">Nord-Pas-de-Calais</region>
</placeName>
</affiliation>
</k>
<l>
<i>00B119</i>
</l>
<n>1</n>
<t>1</t>
</g>
</l>
<n>2</n>
<t>2</t>
</g>
</l>
<n>4</n>
<t>26</t>
</g>

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