Andrei Popescu
Title
Cited by
Cited by
Year
Non-dual fuzzy connections
G Georgescu, A Popescu
Archive for Mathematical Logic 43 (8), 1009-1039, 2004
2152004
Truly modular (co) datatypes for Isabelle/HOL
JC Blanchette, J Hölzl, A Lochbihler, L Panny, A Popescu, D Traytel
International Conference on Interactive Theorem Proving, 93-110, 2014
972014
A general approach to fuzzy concepts
A Popescu
Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (3), 265-280, 2004
962004
Non-commutative fuzzy Galois connections
G Georgescu, A Popescu
Soft Computing 7 (7), 458-467, 2003
832003
Encoding monomorphic and polymorphic types
JC Blanchette, S Böhme, A Popescu, N Smallbone
International Conference on Tools and Algorithms for the Construction and …, 2013
802013
Foundational, compositional (co) datatypes for higher-order logic: Category theory applied to theorem proving
D Traytel, A Popescu, JC Blanchette
2012 27th Annual IEEE Symposium on Logic in Computer Science, 596-605, 2012
612012
A conference management system with verified document confidentiality
S Kanav, P Lammich, A Popescu
International Conference on Computer Aided Verification, 167-183, 2014
522014
Non-commutative fuzzy structures and pairs of weak negations
G Georgescu, A Popescu
Fuzzy Sets and Systems 143 (1), 129-155, 2004
522004
Concept lattices and similarity in non-commutative fuzzy logic
G Georgescu, A Popescu
Fundamenta Informaticae 53 (1), 23-54, 2002
522002
More spass with isabelle
JC Blanchette, A Popescu, D Wand, C Weidenbach
International Conference on Interactive Theorem Proving, 345-360, 2012
422012
Foundational extensible corecursion: a proof assistant perspective
JC Blanchette, A Popescu, D Traytel
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
352015
An institution-independent proof of the Robinson consistency theorem
D Gaina, A Popescu
Studia Logica 85 (1), 41-73, 2007
312007
A consistent foundation for Isabelle/HOL
O Kunčar, A Popescu
International Conference on Interactive Theorem Proving, 234-252, 2015
29*2015
Unified classical logic completeness
JC Blanchette, A Popescu, D Traytel
International Joint Conference on Automated Reasoning, 46-60, 2014
292014
Friends with benefits
JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel
European Symposium on Programming, 111-140, 2017
252017
Mechanizing the metatheory of Sledgehammer
JC Blanchette, A Popescu
International Symposium on Frontiers of Combining Systems, 245-260, 2013
232013
Witnessing (co) datatypes
JC Blanchette, A Popescu, D Traytel
European Symposium on Programming Languages and Systems, 359-382, 2015
222015
Soundness and completeness proofs by coinductive methods
JC Blanchette, A Popescu, D Traytel
Journal of Automated Reasoning 58 (1), 149-179, 2017
212017
From types to sets by local type definitions in higher-order logic
O Kunčar, A Popescu
International Conference on Interactive Theorem Proving, 200-218, 2016
212016
Strong Normalization for System F by HOAS on Top of FOAS
A Popescu, EL Gunter, CJ Osborn
2010 25th Annual IEEE Symposium on Logic in Computer Science, 31-40, 2010
212010
The system can't perform the operation now. Try again later.
Articles 1–20