Rajeev Goré
发表
Anh Linh Nguyen,
Rajeev Goré,
2008
.
Stéphane Demri,
Rajeev Goré,
R. Goré,
2002,
J. Log. Comput..
Rajeev Goré,
R. Goré,
2009,
Description Logics.
Rajeev Goré,
Linh Anh Nguyen,
R. Goré,
2005,
TABLEAUX.
Tobias Nipkow,
Alexander Leitsch,
Rajeev Goré,
2001
.
Mukesh Tiwari,
Rajeev Goré,
Dirk Pattinson,
2018,
E-Vote-ID.
Rajeev Goré,
Jeremy E. Dawson,
R. Goré,
2002,
Australian Joint Conference on Artificial Intelligence.
Rajeev Goré,
Revantha Ramanayake,
R. Goré,
2014,
Stud Logica.
Rajeev Goré,
James Brotherston,
R. Goré,
2011,
TABLEAUX.
Rajeev Goré,
Hendra Gunadi,
Alwen Tiu,
2015
.
Rajeev Goré,
Vijay Boyapati,
R. Goré,
1999,
TABLEAUX.
Rajeev Goré,
2001
.
Rajeev Goré,
R. Goré,
2014,
IJCAR.
Rajeev Goré,
Revantha Ramanayake,
R. Goré,
2012,
Advances in Modal Logic.
Bernhard Beckert,
Rajeev Goré,
Carsten Schürmann,
2013,
VoteID.
Stéphane Demri,
Rajeev Goré,
R. Goré,
1998,
FTP.
Eiji Okamoto,
Rajeev Goré,
Simon Kramer,
2010,
SIGA.
Rajeev Goré,
1996
.
Rajeev Goré,
Jeremy E. Dawson,
R. Goré,
2002,
TPHOLs.
Rajeev Goré,
Florian Widmann,
2009,
CADE.
Rajeev Goré,
Jason Jingshi Li,
Thomas Pagram,
2015,
Australasian Conference on Artificial Intelligence.
Alexander Leitsch,
Rajeev Goré,
D.J.N. van Eijck,
2001
.
Rajeev Goré,
Linh Anh Nguyen,
R. Goré,
2005,
Inf. Process. Lett..
Rajeev Goré,
Thomas Haines,
Mukesh Tiwari,
2019,
CCS.
Rajeev Goré,
James Brotherston,
Jeremy E. Dawson,
2016,
IJCAR.
Rajeev Goré,
1999
.
Rajeev Goré,
Jimmy Thomson,
2019,
J. Symb. Log..
Rajeev Goré,
Ekaterina Lebedeva,
2016,
E-VOTE-ID.
Rajeev Goré,
Paul Wong,
Agnes Boskovitz,
2005
.
Rajeev Goré,
Alwen Tiu,
Linda Postniece,
2011,
Log. Methods Comput. Sci..
Rajeev Goré,
Linh Anh Nguyen,
R. Goré,
2013,
Journal of Automated Reasoning.
Rajeev Goré,
Alwen Tiu,
2009,
RTA.
Rajeev Goré,
Andreas Bauer,
Alwen Tiu,
2009,
ArXiv.
Bernhard Beckert,
Rajeev Goré,
R. Goré,
2001,
Stud Logica.
Bernhard Beckert,
Rajeev Goré,
R. Goré,
1998,
CADE.
Rajeev Goré,
Tim Lyon,
Alwen Tiu,
2020,
CSL.
Rajeev Goré,
Markus Hegland,
Agnes Boskovitz,
2003,
IDA.
Eiji Okamoto,
Rajeev Goré,
Simon Kramer,
2014,
J. Log. Comput..
Rajeev Goré,
Pietro Abate,
P. Abate,
2003,
TABLEAUX.
Rajeev Goré,
Florian Widmann,
Jimmy Thomson,
2011,
2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
Rajeev Goré,
Minchao Wu,
R. Goré,
2019,
ITP.
Bernhard Beckert,
Rajeev Goré,
1998
.
Rajeev Goré,
Dirk Pattinson,
Clemens Kupke,
2010,
IJCAR.
Rajeev Goré,
Jeremy E. Dawson,
2017,
TABLEAUX.
Rajeev Goré,
Alwen Tiu,
Egor Ianovski,
2012,
Advances in Modal Logic.
Rajeev Goré,
Daniel Alarcón,
2016,
ACSW.
Ahmed Awad,
Matthias Weidlich,
Rajeev Goré,
2011,
CAiSE.
Rajeev Goré,
Florian Widmann,
2010,
IJCAR.
Bernhard Beckert,
Rajeev Goré,
1998,
TABLEAUX.
Rajeev Goré,
Alwen Tiu,
R. Goré,
2007,
J. Log. Comput..
Rajeev Goré,
Jeremy E. Dawson,
1998,
Australian Joint Conference on Artificial Intelligence.
Bernhard Beckert,
Rajeev Goré,
R. Goré,
1997,
TABLEAUX.
Rajeev Goré,
Nicolette Bonnette,
R. Goré,
1998,
Australian Joint Conference on Artificial Intelligence.
Rajeev Goré,
Wolfgang Heinle,
Alain Heuerding,
1997,
J. Log. Comput..
Rajeev Goré,
Linda Postniece,
2008,
IJCAR.
Rajeev Goré,
Linh Anh Nguyen,
2007
.
Rajeev Goré,
2003
.
Rajeev Goré,
Jeremy E. Dawson,
2001,
Electron. Notes Theor. Comput. Sci..
Rajeev Goré,
Linh Anh Nguyen,
R. Goré,
2007,
TABLEAUX.
Rajeev Goré,
R. Goré,
2000,
TABLEAUX.
Rajeev Goré,
Barteld Kooi,
Agi Kurucz,
2014
.
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic
Rajeev Goré,
Alwen Tiu,
Jeremy E. Dawson,
2014,
IFIP TCS.
Stéphane Demri,
Rajeev Goré,
R. Goré,
2000,
J. Log. Lang. Inf..
Rajeev Goré,
Alwen Tiu,
Linda Postniece,
2008,
Advances in Modal Logic.
Rajeev Goré,
Jeremy E. Dawson,
R. Goré,
2003,
CATS.
Rajeev Goré,
Jeremy E. Dawson,
2009,
Int. J. Found. Comput. Sci..
Tobias Nipkow,
Alexander Leitsch,
Rajeev Goré,
2001
.
Rajeev Goré,
Andreas Bauer,
Alwen Tiu,
2009,
ICTAC.
Rajeev Goré,
Jeremy E. Dawson,
1998,
JELIA.
Rajeev Goré,
Jemma Wu,
Khoi-Nguyen Tran,
2010,
SSN.
Rajeev Goré,
Dmitry Brizhinev,
R. Goré,
2018,
ArXiv.
Rajeev Goré,
Jimmy Thomson,
2012,
IJCAR.
Rajeev Goré,
Alwen Tiu,
Zhe Hou,
2015,
CADE.
Rajeev Goré,
2000,
J. Log. Lang. Inf..
Rajeev Goré,
Alwen Tiu,
Linda Postniece,
2010,
Advances in Modal Logic.
Rajeev Goré,
Hendra Gunadi,
Alwen Tiu,
2015,
ArXiv.
Rajeev Goré,
R. Goré,
1998,
Log. J. IGPL.
Rajeev Goré,
Thomas Haines,
Jack Stodart,
2020,
IACR Cryptol. ePrint Arch..
Rajeev Goré,
R. Goré,
1999
.
Rajeev Goré,
Björn Lellmann,
R. Goré,
2019,
TABLEAUX.
Ahmed Awad,
Matthias Weidlich,
Rajeev Goré,
2012,
Inf. Syst..
Joachim Posegga,
Rajeev Goré,
Harald Vogt,
1998,
Australian Joint Conference on Artificial Intelligence.
Kotagiri Ramamohanarao,
Rajeev Goré,
1989,
26th ACM/IEEE Design Automation Conference.
Joachim Posegga,
Rajeev Goré,
Harald Vogt,
1998,
CADE.
Rajeev Goré,
Jeremy E. Dawson,
R. Goré,
2004,
CSL.
Rajeev Goré,
Jeremy E. Dawson,
Thomas Meumann,
2015,
VoteID.
Rajeev Goré,
R. Goré,
1998,
Logic Journal of the IGPL.
Anil Nerode,
Rajeev Goré,
Jennifer M. Davoren,
2004,
FORMATS/FTRTFT.
Stéphane Demri,
Rajeev Goré,
R. Goré,
2002,
J. Log. Comput..
Rajeev Goré,
Enrico Franconi,
Carlos Areces,
2000,
Log. J. IGPL.
Rajeev Goré,
Linda Postniece,
R. Goré,
2010,
J. Log. Comput..
Nachum Dershowitz,
Rajeev Goré,
Jeremy E. Dawson,
2018,
IJCAR.
Rajeev Goré,
Jennifer M. Davoren,
R. Goré,
2000,
Advances in Modal Logic.
Rajeev Goré,
1996,
CSL.
Rajeev Goré,
Camillo Fiorentini,
Stéphane Lengrand,
2019,
TABLEAUX.
Rajeev Goré,
2013,
Stud Logica.
Rajeev Goré,
Jeremy E. Dawson,
2018
.
Rajeev Goré,
Agnes Boskovitz,
2005
.
Rajeev Goré,
Dirk Pattinson,
Milad K. Ghale,
2017,
E-VOTE-ID.
Rajeev Goré,
Alwen Tiu,
Zhe Hou,
2013,
TABLEAUX.
Anh Linh Nguyen,
Rajeev Goré,
2005
.
Rajeev Goré,
Phuong Thê Nguyên,
R. Goré,
2001,
E-smart.
Rajeev Goré,
Dirk Pattinson,
Clemens Kupke,
2010,
TACAS.
Rajeev Goré,
Jimmy Thomson,
2013,
CADE.
Rajeev Goré,
Linda Postniece,
R. Goré,
2007,
TABLEAUX.
Rajeev Goré,
Alwen Tiu,
Jeremy E. Dawson,
2013,
CSL.
Rajeev Goré,
Linh Anh Nguyen,
R. Goré,
2008,
CLIMA.
Rajeev Goré,
Revantha Ramanayake,
R. Goré,
2012,
The Review of Symbolic Logic.
Rajeev Goré,
Jeremy E. Dawson,
R. Goré,
2010,
LPAR.
Rajeev Goré,
R. Goré,
1994,
Stud Logica.
Eiji Okamoto,
Rajeev Goré,
Simon Kramer,
2011,
IACR Cryptol. ePrint Arch..
Rajeev Goré,
Barteld Kooi,
Agi Kurucz,
2014
.
Bernhard Beckert,
Thorsten Bormer,
Rajeev Goré,
2017
.
Rajeev Goré,
Jimmy Thomson,
2012,
PAAR@IJCAR.
Rajeev Goré,
Pietro Abate,
2009,
Electron. Notes Theor. Comput. Sci..
Rajeev Goré,
Pietro Abate,
Florian Widmann,
2007,
LPAR.
Rajeev Goré,
Alwen Tiu,
Ranald Clouston,
2014,
POPL.
Rajeev Goré,
Lan Duy Nguyen,
R. Goré,
2000,
Java Card Workshop.
Rajeev Goré,
Alwen Tiu,
Linda Postniece,
2009,
TABLEAUX.
Rajeev Goré,
Jimmy Thomson,
Kerry Olesen,
2014,
IJCAR.
Rajeev Goré,
Florian Widmann,
R. Goré,
2010,
ArXiv.
Mukesh Tiwari,
Rajeev Goré,
Dirk Pattinson,
2017,
E-VOTE-ID.
Krysia Broda,
Rajeev Goré,
Marcello D'Agostino,
1995,
Log. J. IGPL.
Rajeev Goré,
Thomas Meumann,
R. Goré,
2014,
2014 6th International Conference on Electronic Voting: Verifying the Vote (EVOTE).
Rajeev Goré,
R. Goré,
2009,
ICLA.
Rajeev Goré,
Florian Widmann,
2009,
TABLEAUX.
Stéphane Demri,
Rajeev Goré,
R. Goré,
1999,
TABLEAUX.
Bernhard Beckert,
Thorsten Bormer,
Rajeev Goré,
2014
.
Jian Wang,
Bernhard Beckert,
Thorsten Bormer,
2014,
J. Inf. Secur. Appl..
Rajeev Goré,
Pietro Abate,
Florian Widmann,
2009,
Electron. Notes Theor. Comput. Sci..
Rajeev Goré,
Alwen Tiu,
Ranald Clouston,
2017,
ACM Trans. Comput. Log..
Rajeev Goré,
Ranald Clouston,
R. Goré,
2015,
FoSSaCS.
Rajeev Goré,
Alwen Tiu,
Zhe Hou,
2013,
TABLEAUX.
Bernhard Beckert,
Rajeev Goré,
Carsten Schürmann,
2013,
CADE.
Rajeev Goré,
Khoi-Nguyen Tran,
Michael Compton,
2011
.
Rajeev Goré,
Jesse Wu,
Jimmy Thomson,
2014,
IJCAR.
Stéphane Demri,
Rajeev Goré,
R. Goré,
1999,
CADE.
Rajeev Goré,
Linh Anh Nguyen,
R. Goré,
2009,
Fundam. Informaticae.
Rajeev Goré,
David Sanán,
Alwen Tiu,
2016,
Arch. Formal Proofs.
Rajeev Goré,
Thomas Haines,
2021,
IACR Cryptol. ePrint Arch..
Rajeev Goré,
Jeremy E. Dawson,
Caitlin D'Abrera,
2021,
TABLEAUX.
Rajeev Goré,
Revantha Ramanayake,
Ian Shillito,
2021,
TABLEAUX.
Rajeev Goré,
Cormac Kikkert,
R. Goré,
2022,
TABLEAUX.
An O((n-logn)3)-Time Transformation from GRZ into Decidable Fragments of Classical First Order Logic
Stéphane Demri,
Rajeev Goré,
2000
.
Rajeev Goré,
Pietro Abate,
P. Abate,
2003
.
Rajeev Goré,
R. Goré,
2006
.
Rajeev Goré,
Alwen Tiu,
Jeremy E. Dawson,
2013,
CSL 2013.
Rajeev Goré,
Pietro Abate,
2007
.
Rajeev Goré,
Pietro Abate,
Florian Widmann,
2007
.
Rajeev Goré,
Jeremy E. Dawson,
2001
.
Rajeev Goré,
Jeremy E. Dawson,
2000
.