Andrei Popescu

University of Sheffield - Sheffield / United Kingdom

Others

AD Scientific Index ID: 1265966

Sheffield University

Registration, Add Profile,
Premium Membership

Print Your Certificate

Andrei Popescu's MOST POPULAR ARTICLES

1-) Non-dual fuzzy connectionsG Georgescu, A PopescuArchive for mathematical logic 43 (8), 1009-1039, 20042302004

2-) Truly modular (co) datatypes for Isabelle/HOLJC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D TraytelInternational Conference on Interactive Theorem Proving, 93-110, 20141152014

3-) A general approach to fuzzy conceptsA PopescuMathematical Logic Quarterly: Mathematical Logic Quarterly 50 (3), 265-280, 20041062004

4-) Non-commutative fuzzy Galois connectionsG Georgescu, A PopescuSoft Computing 7, 458-467, 20031032003

5-) Foundational, compositional (co) datatypes for higher-order logic: Category theory applied to theorem provingD Traytel, A Popescu, JC Blanchette2012 27th Annual IEEE Symposium on Logic in Computer Science, 596-605, 2012832012

ARTICLES

Add your articles