Concepedia

Mario Fadda

MF

Statistics

Publications

2

Citations

168

H-Index

2

Active since

2007

Affiliations

Universitat Politècnica de Catalunya(Current)

Mario Fadda is an author at Universitat Politècnica de Catalunya specializing in formal methods, automated reasoning, and geometry.

Top concepts

Publications per year

2007–2010

2

Publications

2

The Displacement Calculus

Glyn Morrill, Oriol Valentín, Mario Fadda · Journal of Logic Language and Information · 2010 · 117 citations

, , +2

Proof Nets for Basic Discontinuous Lambek Calculus

Glyn Morrill, Mario Fadda · Journal of Logic and Computation · 2007 · 51 citations

, , +13

1–2 of 2