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 cs.LOShow all

2 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…