Andrei Popescu
Andrei Popescu
Geverifieerd e-mailadres voor mdx.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Non-dual fuzzy connections
G Georgescu, A Popescu
Archive for Mathematical Logic 43 (8), 1009-1039, 2004
2072004
A general approach to fuzzy concepts
A Popescu
Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (3), 265-280, 2004
942004
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
912014
Non-commutative fuzzy Galois connections
G Georgescu, A Popescu
Soft Computing 7 (7), 458-467, 2003
812003
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
762013
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
592012
Concept lattices and similarity in non-commutative fuzzy logic
G Georgescu, A Popescu
Fundamenta Informaticae 53 (1), 23-54, 2002
522002
Non-commutative fuzzy structures and pairs of weak negations
G Georgescu, A Popescu
Fuzzy Sets and Systems 143 (1), 129-155, 2004
512004
A conference management system with verified document confidentiality
S Kanav, P Lammich, A Popescu
International Conference on Computer Aided Verification, 167-183, 2014
492014
More spass with isabelle
JC Blanchette, A Popescu, D Wand, C Weidenbach
International Conference on Interactive Theorem Proving, 345-360, 2012
412012
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
28*2015
Friends with benefits
JC Blanchette, A Bouzy, A Lochbihler, A Popescu, D Traytel
European Symposium on Programming, 111-140, 2017
262017
Unified classical logic completeness
JC Blanchette, A Popescu, D Traytel
International Joint Conference on Automated Reasoning, 46-60, 2014
252014
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
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
202010
An institution-independent generalization of Tarski's Elementary Chain Theorem
D Găină, A Popescu
Journal of Logic and Computation 16 (6), 713-735, 2006
202006
Foundational nonuniform (co) datatypes for higher-order logic
JC Blanchette, F Meier, A Popescu, D Traytel
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
182017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20