iain-a-stewart documents

Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic
Documents Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic
Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second - Order Logic
Documents Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second - Order Logic
Finding regular subgraphs in both arbitrary and planar graphs
Documents Finding regular subgraphs in both arbitrary and planar graphs
Context-sensitive transitive closure operators
Documents Context-sensitive transitive closure operators
On the fixed-parameter tractability of parameterized model-checking problems
Documents On the fixed-parameter tractability of parameterized model-checking problems
The complexity of achievement and maintenance problems in agent-based systems
Documents The complexity of achievement and maintenance problems in agent-based systems
Program schemes, arrays, Lindström quantifiers and zero-one laws
Documents Program schemes, arrays, Lindström quantifiers and zero-one laws
An algorithm for colouring perfect planar graphs
Documents An algorithm for colouring perfect planar graphs
Genotypic variability in subarctic Atlantic planktic foraminifera
Documents Genotypic variability in subarctic Atlantic planktic foraminifera
A general technique to establish the asymptotic conditional diagnosability of interconnection networks
Documents A general technique to establish the asymptotic conditional diagnosability of interconnection networks