Skip navigation
Skip navigation

Browsing by Author Gore, Rajeev

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Or enter first few letters:  
Showing results 1 to 20 of 78

A cut-free sequent calculus for bi-intuitionistic logic

Author(s)Postniece (previously Buisman), Linda; Gore, Rajeev
TypeConference paper
Date Published2007
Date CreatedJuly 3-6 2007

A first-order policy language for history-based transaction monitoring

Author(s)Bauer, Andreas; Gore, Rajeev; Tiu, Alwen
TypeConference paper
Date Published2009
Date CreatedAugust 16-20 2009

A general theorem on termination of rewriting

Author(s)Dawson, Jeremy; Gore, Rajeev
TypeConference paper
Date Published2004
Date CreatedSeptember 20-24 2004

A history-based theorem prover for intuitionistic propositional logic using global caching: InthistGC system description

Author(s)Gore, Rajeev; Thomson, James; Wu, Jesse
TypeConference paper
Date Published2014
Date CreatedJuly 19-22 2014

A Logical Formalisation of the Fellegi-Holt Method of Data Cleaning

Author(s)Boskovitz, Agnes; Gore, Rajeev; Hegland, Markus
TypeConference paper
Date Published2003
Date CreatedAugust 28 2003

A Proof Theoretic Analysis of Intruder Theories

Author(s)Tiu, Alwen; Gore, Rajeev
TypeConference paper
Date Published2009
Date CreatedJune 29-July 1 2009

A Proof Theoretic Analysis of Intruder Theories

Author(s)Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy
TypeJournal article
Date Published2010
Date Created-

A tableau calculus with automaton-labelled formulae for regular grammar logics

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeConference paper
Date Published2005
Date CreatedSeptember 14-17 2005

Advances in Modal Logic, Volume 10

Author(s)-
TypeBook
Date Published2014
Date Created-
02_Gore_An_Experimental_Comparison_of_2011.pdf.jpg

An Experimental Comparison of Theorem Provers for CTL

Author(s)Gore, Rajeev; Thomson, James; Widmann, Florian
TypeConference paper
Date Published2011
Date CreatedSeptember 12-14 2011

An experimental evaluation of global caching for ALC (system description)

Author(s)Gore, Rajeev; Postniece (previously Buisman), Linda
TypeConference paper
Date Published2008
Date CreatedAugust 12-15 2008

An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description

Author(s)Gore, Rajeev; Thomson, James
TypeConference paper
Date Published2013
Date CreatedJune 9-14 2013

An introduction to classical propositional logic: syntax, semantics, sequents

Author(s)Gore, Rajeev
TypeBook chapter
Date Published2003
Date Created-
01_Awad_An_Iterative_Approach_for_2011.pdf.jpg

An Iterative Approach for Business Process Template Synthesis from Compliance Rules

Author(s)Awad, Ahmed; Gore, Rajeev; Thomson, James, et al
TypeConference paper
Date Published2011
Date CreatedJune 20-24 2011

An iterative approach to synthesize business process templates from compliance rules

Author(s)Awad, Ahmed; Gore, Rajeev; Hou, Zhe, et al
TypeJournal article
Date Published2012
Date Created-

An O((n-logn)3)-Time Transformation from GRZ into Decidable Fragments of Classical First Order Logic

Author(s)Demri, Stephane; Gore, Rajeev
TypeConference paper
Date Published2000
Date CreatedJanuary 11 1998
01_Abate_An_on-the-fly_Tableau-based_2009.pdf.jpg

An on-the-fly Tableau-based decision procedure for PDL-satisfiability

Author(s)Abate, Pietro; Gore, Rajeev; Widmann, Florian
TypeConference paper
Date Published2009
Date CreatedNovember 29-30 2007

An Optimal On-the-fly Tableau-based Decision Procedure for PDL satisfiability

Author(s)Gore, Rajeev; Widmann, Florian
TypeConference paper
Date Published2009
Date CreatedAugust 2-7 2009

Analysing Vote Counting Algorithms via Logic And Its Application to the CADE Election System

Author(s)Beckert, Bernhard; Gore, Rajeev; Schurmann, Carsten
TypeConference paper
Date Published2013
Date CreatedJune 9-14 2013

Analytic cut-free Tableaux for regular modal logics of agent beliefs

Author(s)Gore, Rajeev; Nguyen, Linh Anh
TypeBook chapter
Date Published2008
Date Created-

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator