Skip to main navigation
Skip to search
Skip to main content
the UWA Profiles and Research Repository Home
Login
Home
Profiles
Organisations
Research output
Grants
Datasets
Prizes / Awards
Engagement / Activities
Press/Media
Units
Equipment
Impacts
Search by expertise, name or affiliation
An efficient tableau for reasoning over general linear time
Ji Bian
Research output
:
Thesis
›
Doctoral Thesis
341
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'An efficient tableau for reasoning over general linear time'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Temporal Logic
100%
linear time temporal logic
100%
discrete-time
66%
Decision Procedure
66%
Speed-up
33%
Computer Hardware
33%
Natural Language Processing
33%
Temporal Database
33%
Reasoning Task
33%
Potential Application
33%
Artificial Intelligence
33%