◍wovepaper
SearchResearchersInstitutions
Sign in
institution

DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique

France

21 papers here112 citations across 21
fields
  • cs.LO18
  • cs.DM1
  • cs.PL1
  • quant-ph1
ROR 0305gxg06OpenAlex

affiliations via OpenAlex

output
20062025
most citedLineal: A linear-algebraic Lambda-calculus

34 citations

researchers with a paper here
  • Gilles Dowek2 profiles12 · h 26
  • Thomas Traversié4 · h 2
  • F. Blanqui3 · h 18
  • A. Assaf2 · h 11
  • F. Thiré2 · h 4
  • P. Arrighi2 · h 23
  • Alejandro Díaz-Caro1 · h 13
  • A. Rubio1 · h 29
  • Benjamin Werner1 · h 18
  • Benoît Valiron1 · h 23
  • Christophe Raffalli1 · h 9
  • C. Tasson1 · h 14
collaborating institutions
  • Laboratoire de Mesure du Carbone 14FR9 papers
  • Institut national de recherche en sciences et technologies du numériqueFR5 papers
  • Université Paris-SaclayFR5 papers
  • Centre National de la Recherche ScientifiqueFR4 papers
  • École Normale Supérieure Paris-SaclayFR4 papers
  • École PolytechniqueFR4 papers
  • Mathématiques et Informatique pour la Complexité et les Systèmes3 papers
  • CentraleSupélecFR2 papers
  • Centre Inria de SaclayFR2 papers
  • Laboratoire d'Informatique de l'École PolytechniqueFR2 papers
  • Aix-Marseille UniversitéFR1 paper
  • Atos (France)FR1 paper
Showing 2018 · cs.DMShow 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.