output
20222026
most citedA Systematic Comparison of Syntactic Representations of Dependency Parsing

7 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.

collaborating institutions
Showing 2023Show all

5 papers · 1 filter

cs.LO2023★ 1 cited

Cut elimination for Zermelo set theory

Gilles Dowek, Alexandre Miquel

We show how to express intuitionistic Zermelo set theory in deduction modulo (i.e. by replacing its axioms by rewrite rules) in such a way that the corresponding notion of proof en…

cs.LO2023★ 2 cited

Relative normalization

Gilles Dowek, Alexandre Miquel

G{ö}del's second incompleteness theorem forbids to prove, in a given theory U, the consistency of many theories-in particular, of the theory U itself-as well as it forbids to prove…

physics.geo-ph2023

Major floods of the Vésubie and Roya Rivers (Alps, France) in October 2020: hydrogeomorphological caracterisation and management perspectives

Gabriel Melun, Frédéric Liébault, Guillaume Piton +4

On October 2nd, 2020, under the combined effect of the winter Alex storm formed off the Brittany coast, and a strong Mediterranean episode, very intensive rainfalls affected in the…

math.DG2023

Abnormal Singular Foliations and the Sard Conjecture for generic co-rank one distributions

A Belotto da Silva, A Parusiński, L Rifford

Given a smooth totally nonholonomic distribution on a smooth manifold, we construct a singular distribution capturing essential abnormal lifts which is locally generated by vector…

math.NT2023

Are the Collatz and abc conjectures related?

Olivier Rozier

The Collatz and conjectures, both well known and thoroughly studied, appear to be largely unrelated at first sight. We show that assuming the conjecture true is helpful…