Philippe Curmin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2001

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

1995

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

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

Coauthor Index

1 Eugenia Reznik [2]