Sorin Craciunescu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2002

2 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		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-

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