◍wovepaper
SearchResearchersInstitutions
Sign in
institution

GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve

France

5 papers here27 citations across 5
fields
  • cs.LO2
  • cs.AI1
  • cs.PL1
  • math.AT1
ROR 01gamk045OpenAlex

affiliations via OpenAlex

output
20162020
most citedGradualizing the Calculus of Inductive Constructions

16 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

  • Étienne Miquey2 · h 5
  • D. Ara1 · h 4
  • Ekaterina Arafailova1 · h 5
  • Éric Tanter1 · h 35
  • H. Simonis1 · h 9
  • Hugo Herbelin1 · h 22
  • J. Pearson1 · h 19
  • K. Maillard1 · h 8
  • María Andreína Francisco Rodríguez1 · h 7
  • M. Carlsson1 · h 29
  • Meven Lennon-Bertrand1 · h 7
  • M. Lucas1 · h 12
collaborating institutions
  • Laboratoire des Sciences du Numérique de NantesFR3 papers
  • Institut national de recherche en sciences et technologies du numériqueFR2 papers
  • Centre Inria de l'Université de RennesFR1 paper
  • IMT AtlantiqueFR1 paper
  • Institut de Mathématiques de MarseilleFR1 paper
  • Nantes UniversitéFR1 paper
  • Swedish Institute of Computer ScienceSE1 paper
  • Université de NantesFR1 paper
  • University College CorkIE1 paper
  • University of ChileCL1 paper
  • Uppsala UniversitySE1 paper
Showing 2016 · cs.LOShow all

Nothing from here under that filter.

Their other years and fields are still on the left.

Show all their papers
◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.