dblp.uni-trier.dewww.uni-trier.de

Saverio Cittadini

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
8EESaverio Cittadini, Carlo Toffalori: On pairs of free modules over a Dedekind domain. Arch. Math. Log. 45(1): 75-95 (2006)
2005
7EEWilfried Sieg, Saverio Cittadini: Normal Natural Deduction Proofs (in Non-classical Logics). Mechanizing Mathematical Reasoning 2005: 169-191
2002
6EESaverio Cittadini, Carlo Toffalori: Comparing First Order Theories of Modules over Group Rings. Math. Log. Q. 48(1): 147-156 (2002)
5EESaverio Cittadini, Carlo Toffalori: Comparing First Order Theories of Modules over Group Rings II: Decidability. Math. Log. Q. 48(4): 483-498 (2002)
1999
4 Fabio Bellissima, Saverio Cittadini: Finite Trees in Tense Logic. Studia Logica 62(2): 121-140 (1999)
3 Fabio Bellissima, Saverio Cittadini: Minimal p-morphic Images, Axiomatizations and Coverings in the Modal Logic K4. Studia Logica 62(3): 371-398 (1999)
1998
2 Fabio Bellissima, Saverio Cittadini: Duality and Completeness for US-Logics. Notre Dame Journal of Formal Logic 39(2): 231-242 (1998)
1997
1 Fabio Bellissima, Saverio Cittadini: Minimal Axiomatization in Modal Logic. Math. Log. Q. 43: 92-102 (1997)

Coauthor Index

1Fabio Bellissima [1] [2] [3] [4]
2Wilfried Sieg [7]
3Carlo Toffalori [5] [6] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)