Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Frédéric Gilbert 0002

> Home > Persons

Person information

affiliation: INRIA, Cachan, France
affiliation: French Alternative Energies and Atomic Energy Commission, Laboratory for Integration of Systems and Technology, CEA-LIST, Paris, France
affiliation (PhD 2018): Sorbonne Paris Cité, France

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-07185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-07185
Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard:
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. CoRR abs/2311.07185 (2023)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/Gilbert19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Gilbert19
Frédéric Gilbert:
Verifiable Certificates for Predicate Subtyping. ESOP 2019: 440-466
2018
[b1]
- view
- export record
  dblp key:
  - phd/hal/Gilbert18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Gilbert18
Frédéric Gilbert:
Extending higher-order logic with predicate subtyping: Application to PVS. (Extension de la logique d'ordre supérieur avec le sous-typage par prédicats). Sorbonne Paris Cité, France, 2018
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/Gilbert17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/Gilbert17
Frédéric Gilbert:
Automated Constructivization of Proofs. FoSSaCS 2017: 480-495
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/Gilbert17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/Gilbert17
Frédéric Gilbert:
Proof Certificates in PVS. ITP 2017: 262-268
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/DelahayeDGHH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/DelahayeDGHH13
David Delahaye, Damien Doligez, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant:
Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. LPAR 2013: 274-290

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.