BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Elaine Pimentel
SearchCollections
Map detail
Elaine Pimentel9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipElaine PimentelAElaine PimentelResearcherA Proof Theoretic Study of Soft Concurrent Constraint ProgrammingWA Proof Theoretic Study...preprint / 2014Proceedings Fifth Workshop on Intersection Types and Related SystemsWProceedings Fifth Works...preprint / 2011On an ecumenical natural deduction with stoup -- Part I: The propositional caseWOn an ecumenical natura...preprint / 2022A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent SystemsWA Rewriting Logic Appro...preprint / 2021Proceedings 6th Workshop on Logical and Semantic Frameworks with ApplicationsWProceedings 6th Worksho...preprint / 2012Separability and harmony in ecumenical systemsWSeparability and harmon...preprint / 2022Hybrid and Subexponential Linear Logics Technical ReportWHybrid and Subexponenti...preprint / 2016Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexityWHypersequent calculi fo...preprint / 2020
Person8 links

Elaine Pimentel

Researcher

PaperA Proof Theoretic Study of Soft Concurrent Constraint ProgrammingAuthorship / preprint / 2014PaperProceedings Fifth Workshop on Intersection Types and Related SystemsAuthorship / preprint / 2011PaperOn an ecumenical natural deduction with stoup -- Part I: The propositional caseAuthorship / preprint / 2022PaperA Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent SystemsAuthorship / preprint / 2021PaperProceedings 6th Workshop on Logical and Semantic Frameworks with ApplicationsAuthorship / preprint / 2012PaperSeparability and harmony in ecumenical systemsAuthorship / preprint / 2022PaperHybrid and Subexponential Linear Logics Technical ReportAuthorship / preprint / 2016PaperHypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexityAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)