Régis Curien

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1996

3 Amedeo Napoli, Jean Lieber, Régis Curien: Classification-Based Problem-Solving in Case-Based Reasoning. EWCBR 1996: 295-308

2 Régis Curien, Zhenyu Qian, Hui Shi: Efficient Second-Order Matching. RTA 1996: 317-331

1993

1 Régis Curien: Second Order E-Matching as a Tool for Automated Theorem Proving. EPIA 1993: 242-257

	1996
3		Amedeo Napoli, Jean Lieber, Régis Curien: Classification-Based Problem-Solving in Case-Based Reasoning. EWCBR 1996: 295-308
2		Régis Curien, Zhenyu Qian, Hui Shi: Efficient Second-Order Matching. RTA 1996: 317-331
	1993
1		Régis Curien: Second Order E-Matching as a Tool for Automated Theorem Proving. EPIA 1993: 242-257

Coauthor Index

1 Jean Lieber [3]

2 Amedeo Napoli [3]

3 Zhenyu Qian [2]

4 Hui Shi [2]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page