Concepedia

Davide Rinaldi

DR

Statistics

Publications

7

Citations

169

H-Index

7

Active since

2013

Affiliations

University of Verona(Current)

University of Leeds

University of Trento

Davide Rinaldi is an author at University of Verona specializing in logic, mathematics, and computer science.

Publications per year

2013–2018

7

Publications

7

ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION

Davide Rinaldi, Peter Schuster, Daniel Wessel · Bulletin of Symbolic Logic · 2017 · 44 citations

, , +12

Eliminating disjunctions by disjunction elimination

Davide Rinaldi, Peter Schuster, Daniel Wessel · Indagationes Mathematicae · 2017 · 26 citations

, , +12

The Basic Zariski Topology

Davide Rinaldi, Giovanni Sambin, Peter Schuster · Confluentes Mathematici · 2015 · 25 citations · Full text

, , +10

A universal Krull–Lindenbaum theorem

Davide Rinaldi, Peter Schuster · Journal of Pure and Applied Algebra · 2016 · 22 citations

, , +3

A constructive notion of codimension

Davide Rinaldi · Journal of Algebra · 2013 · 21 citations

, , +5

1–5 of 7