Rajeev Gor\'e

Identifiers

• name variant Rajeev Gor\'e 0.60 · backfill

Papers (7)

1. Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version) cs.LO · 2019 · author #1
2. A case study in formal verification of a Java program cs.LO · 2018 · author #2
3. Modular Labelled Sequent Calculi for Abstract Separation Logics cs.LO · 2017 · author #3
4. Sequent Calculus in the Topos of Trees cs.LO · 2015 · author #2
5. Optimal and Cut-free Tableaux for Propositional Dynamic Logic with Converse cs.LO · 2010 · author #1
6. An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability cs.LO · 2007 · author #2
7. A Cut-free Sequent Calculus for Bi-Intuitionistic Logic: Extended Version cs.LO · 2007 · author #2

Mentions

• 1002.0172 #1 · backfill · confidence 0.70 Rajeev Gor\'e
• 0711.1016 #2 · backfill · confidence 0.70 Rajeev Gor\'e
• 0704.1707 #2 · backfill · confidence 0.70 Rajeev Gor\'e

Frequent Coauthors

• Florian Widmann 2 shared papers
• Ranald Clouston 2 shared papers
• Alwen Tiu 1 shared papers
• Bj\"orn Lellmann 1 shared papers
• Dmitry Brizhinev 1 shared papers
• Linda Buisman 1 shared papers
• Pietro Abate 1 shared papers
• Zh\'e H\'ou 1 shared papers