Title
Indagini in Deep Inference.
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 Simonetto115010.94