Concepedia
Statistics
Publications
21
Citations
506
H-Index
15
Active since
1998
Affiliations
Australian National University(Current)
Norwegian University of Science and Technology
Data61
University of Warsaw
Rajeev Goré is an author at Australian National University specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningSemanticsFormal VerificationVerificationDesignSyntaxLanguage
Publications per year
1998–2021
Substructural logics on display
Rajeev Goré · Logic Journal of IGPL · 1998 · 98 citations
Computational Logic, Non-classical Logic, Display Logic +13
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Rajeev Goré, Linda Postniece · Journal of Logic and Computation · 2008 · 42 citations
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Rajeev Goré, Linda Postniece, Alwen Tiu · Logical Methods in Computer Science · 2011 · 36 citations · Full text
Engineering, Shallow Calculi, Classical Logic +21
EXPTIME tableaux for ALC using sound global caching
Rajeev Goré, Linh Anh Nguyen · International Workshop Description Logics · 2007 · 35 citations
Labelled tree sequents, Tree hypersequents and Nested (Deep) Sequents
Rajeev Goré, Revantha Ramanayake · 2012 · 32 citations
1–5 of 21