Παρακολούθηση
Elaine Pimentel
Elaine Pimentel
University College London
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ucl.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A formal framework for specifying sequent calculus proof systems
D Miller, E Pimentel
Theoretical Computer Science 474, 98-116, 2013
602013
Modularisation of sequent calculi for normal and non-normal modalities
B Lellmann, E Pimentel
ACM Transactions on Computational Logic (TOCL) 20 (2), 1-46, 2019
472019
An extended framework for specifying and reasoning about proof systems
V Nigam, E Pimentel, G Reis
Journal of Logic and Computation 26 (2), 539-576, 2016
432016
A general proof system for modalities in concurrent constraint programming
V Nigam, C Olarte, E Pimentel
International Conference on Concurrency Theory, 410-424, 2013
382013
Using linear logic to reason about sequent systems
D Miller, E Pimentel
International Conference on Automated Reasoning with Analytic Tableaux and …, 2002
332002
Proof search in nested sequent calculi
B Lellmann, E Pimentel
Logic for Programming, Artificial Intelligence, and Reasoning, 558-574, 2015
312015
On the specification of sequent systems
E Pimentel, D Miller
International Conference on Logic for Programming Artificial Intelligence …, 2005
312005
Subexponential concurrent constraint programming
C Olarte, E Pimentel, V Nigam
Theoretical Computer Science 606, 98-120, 2015
272015
Specifying proof systems in linear logic with subexponentials
V Nigam, E Pimentel, G Reis
Electronic Notes in Theoretical Computer Science 269, 109-123, 2011
262011
Linear logic as a framework for specifying sequent calculus
D Miller, E Pimentel
Logic Colloquium 99, 111-135, 1999
231999
Intersection Types from a proof-theoretic perspective
E Pimentel, S Ronchi Della Rocca, L Roversi
Fundamenta Informaticae 121 (1-4), 253-274, 2012
222012
A uniform framework for substructural logics with modalities.
B Lellmann, C Olarte, E Pimentel
LPAR, 435-455, 2017
202017
An ecumenical notion of entailment
E Pimentel, LC Pereira, V de Paiva
Synthese 198 (Suppl 22), 5391-5413, 2021
182021
From axioms to synthetic inference rules via focusing
S Marin, D Miller, E Pimentel, M Volpe
Annals of Pure and Applied Logic 173 (5), 103091, 2022
172022
On subexponentials, focusing and modalities in concurrent systems
V Nigam, C Olarte, E Pimentel
Theoretical Computer Science 693, 35-58, 2017
162017
Dynamic spaces in concurrent constraint programming
C Olarte, V Nigam, E Pimentel
Electronic Notes in Theoretical Computer Science 305, 103-121, 2014
152014
Lazy strong normalization
L Paolini, E Pimentel, SR Della Rocca
Electronic Notes in Theoretical Computer Science 136, 103-116, 2005
152005
A semantical view of proof systems
E Pimentel
Logic, Language, Information, and Computation: 25th International Workshop …, 2018
142018
Intersection types: a proof-theoretical approach
E Pimentel, SR Della Rocca, L Roversi
Fakultät Informatik, 189, 2005
142005
A proof theoretic study of soft concurrent constraint programming
E Pimentel, C Olarte, V Nigam
Theory and Practice of Logic Programming 14 (4-5), 649-663, 2014
132014
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20