Dorel Lucanu

Visitor and collaborator.

Dorel Lucanu is a professor in the Faculty of Computer Science of the "A. I. Cuza" University of Iasi, Romania.

Circular Coinduction with Special Contexts: Dorel Lucanu and Grigore Rosu
ICFEM'09, to appear in LNCS. 2009
PDF, ICFEM'09, BIB
Circular Coinduction: A Proof Theoretical Foundation: Grigore Rosu and Dorel Lucanu
CALCO'09, LNCS 5728, pp 127-144. 2009
LNCS, CALCO'09, DBLP, BIB
CIRC: A Circular Coinductive Prover: Dorel Lucanu and Grigore Rosu
CALCO'07, LNCS 4624, pp 372-378. 2007
PDF, CIRC webpage, CALCO'07, BIB