Skip navigation
Skip navigation

Browsing by Author Thomson, James

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 8 of 8

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
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 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
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-

BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics

Author(s)Gore, Rajeev; Thomson, James
TypeConference paper
Date Published2012
Date CreatedJune 26-29 2012

Implementing tableau calculi using BDDs: BDDtab system description

Author(s)Gore, Rajeev; Olesen, Kerry; Thomson, James
TypeConference paper
Date Published2014
Date CreatedJuly 19-22 2014
01_McAlpine_Integrating_plant-_and_2016.pdf.jpg

Integrating plant- and animal-based perspectives for more effective restoration of biodiversity

Author(s)McAlpine, Clive; Catterall, Carla; Mac Nally, Ralph Charles, et al
TypeJournal article
Date Published2016
Date Created-
  • previous
  • 1
  • next

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