Sorin Craciunescu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002

2 EE Sorin Craciunescu: Proving the Equivalence of CLP Programs. ICLP 2002: 287-301

2001

1 Sorin Craciunescu: Preuves de programmes logiques par induction et coinduction. JFPLC 2001: 287-

2002
2	EE	Sorin Craciunescu: Proving the Equivalence of CLP Programs. ICLP 2002: 287-301
2001
1		Sorin Craciunescu: Preuves de programmes logiques par induction et coinduction. JFPLC 2001: 287-