Paola Bruscoli
International Baccalaureate(CH)Department of Mathematical Sciences(RU)University of Bath(GB)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Formal Methods in Verification, Machine Learning and Algorithms, Semantic Web and Ontologies
Most-Cited Works
- → A Purely Logical Account of Sequentiality in Proof Search(2002)55 cited
- → Compilative constructive negation in constraint logic programs(2005)23 cited
- (2010)
- → A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae(2010)14 cited
- Intensional Negation in Constraint Logic Programs.(1993)
- → A LINEAR LOGIC VIEW OF GAMMA STYLE COMPUTATIONS AS PROOF SEARCHES(1996)8 cited
- → On the Length of Medial-Switch-Mix Derivations(2017)5 cited
- → Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae(2016)5 cited