Name Card

Full name Familienname, Vorname
Aguzzoli, Stefano
 

Contributing Publications Mitbeteiligte Publikationen


Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Aguzzoli, Stefano ; Ciabattoni, Agata ; Gerla, Brunella ; Manara, Corrado Algebraic and Proof-theoretic Aspects of Non-classical LogicsBuch Book2007
2Leitsch, Alexander ; Hetzl, Stefan Proof Transformations and Structural InvarianceBuchbeitrag Book Contribution2007