Concepedia

Author

M. Gabrielli

University of Pisa

Also Known As

M. Gabrielli, Maurizio Gabrielli

3

Publications

153

Citations

3

H-Index

7

Concepts

All Affiliations

University of Pisa
MG

About

M. Gabrielli is an author at University of Pisa specializing in representation theory, automated reasoning, and program transformation.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

58

2

Semantics

1

1

58

3

Automated Reasoning

1

1

58

4

Formal Methods

1

1

58

5

Logic Programming

1

1

58

M. Gabrielli

×

2

Publications

148

Citations

2

H-Index

YearCitations

Page 1