Skip navigation
Skip navigation

Browsing by Author 0538835b-e994-444c-ad7d-6a4ab926edca

Or enter first few letters:  
Showing results 1 to 4 of 4

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Author(s)Hou, Zhe; Tiu, Alwen; Gore, Rajeev
TypeConference paper
Date Published2013
Date CreatedSeptember 16-19 2013

Machine-Checked Proof-Theory for Propositional Modal Logics

Author(s)Dawson, Jeremy; Gore, Rajeev; Wu, Jesse
TypeBook chapter
Date Published2016
Date Created-

System description: The Tableau workbench

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

The Tableaux Work Bench

Author(s)Abate, Pietro; Gore, Rajeev
TypeConference paper
Date Published2003
Date CreatedSeptember 9 2003
  • previous
  • 1
  • next

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