Philippe Curmin

List of publications from the DBLP Bibliography Server - FAQ

2001

2 EE Eugenia Reznik, Philippe Curmin: Intuitionistic Sequent Calculi for Finitely Many-valued Logics. Logic Journal of the IGPL 9(6): (2001)

1995

1 EE Philippe Curmin: First Order Marked Types. TYPES 1995: 105-119

2001
2	EE	Eugenia Reznik, Philippe Curmin: Intuitionistic Sequent Calculi for Finitely Many-valued Logics. Logic Journal of the IGPL 9(6): (2001)
1995
1	EE	Philippe Curmin: First Order Marked Types. TYPES 1995: 105-119

Coauthor Index