Dorel Lucanu
From FSL
Visitor and collaborator.
Dorel Lucanu is a professor in the Faculty of Computer Science of the "A. I. Cuza" University of Iasi, Romania.
[edit] Publications within FSL
- 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


