Name
Abstract | ||
|---|---|---|
Italian master's thesis in Computer Science. It is an overview of the standard tecniques developed in the field of Proof Theory, ending with some results in the new field of Deep Inference, plus an original contribution trying to relate Deep Inference and Process Algebras. |
Year | Venue | Field |
|---|---|---|
2013 | CoRR | Deep inference,Proof theory,Algorithm,Artificial intelligence,Mathematics |
DocType | Volume | Citations |
Journal | abs/1311.5006 | 0 |
PageRank | References | Authors |
0.34 | 0 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andrea Simonetto | 1 | 150 | 10.94 |