Login / Signup
James Gate
Publication Activity (10 Years)
Years Active: 2010-2013
Publications (10 Years): 0
Top Topics
Relational Structures
Bipartite Graph
Predicate Logic
Spanning Tree
Top Venues
J. Appl. Log.
</>
Publications
</>
James Gate
,
Iain A. Stewart
The expressibility of fragments of Hybrid Graph Logic on finite digraphs.
J. Appl. Log.
11 (3) (2013)
James Gate
,
Iain A. Stewart
Frameworks for Logically Classifying Polynomial-Time Optimisation Problems.
CSR
(2010)