42 results
Chapter 4  Primer
 from Part I  Background

 Book:
 Working with Network Data
 Print publication:
 13 June 2024, pp 3962

 Chapter
 Export citation
The atomic properties of stress

 Article

 You have access
 Open access
 HTML
 Export citation
Dyadic Existential Rules

 Journal:
 Theory and Practice of Logic Programming / Volume 24 / Issue 2 / March 2024
 Published online by Cambridge University Press:
 24 August 2023, pp. 227249

 Article

 You have access
 Open access
 HTML
 Export citation
Exact convergence analysis for metropolis–hastings independence samplers in Wasserstein distances
 Part of

 Journal:
 Journal of Applied Probability / Volume 61 / Issue 1 / March 2024
 Published online by Cambridge University Press:
 05 June 2023, pp. 3354
 Print publication:
 March 2024

 Article
 Export citation
Implicit computation complexity in higherorder programming languages: A Survey in Memory of Martin Hofmann

 Journal:
 Mathematical Structures in Computer Science / Volume 32 / Issue 6 / June 2022
 Published online by Cambridge University Press:
 15 March 2022, pp. 760776

 Article

 You have access
 Open access
 HTML
 Export citation
EXPLORING THE LANDSCAPE OF RELATIONAL SYLLOGISTIC LOGICS
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
 Published online by Cambridge University Press:
 21 October 2020, pp. 728765
 Print publication:
 September 2021

 Article
 Export citation
DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
 Published online by Cambridge University Press:
 16 June 2020, pp. 539562
 Print publication:
 June 2020

 Article
 Export citation
Deciding the Existence of Minority Terms
 Part of

 Journal:
 Canadian Mathematical Bulletin / Volume 63 / Issue 3 / September 2020
 Published online by Cambridge University Press:
 24 October 2019, pp. 577591
 Print publication:
 September 2020

 Article
 Export citation
16  Fast Gamblet Transform
 from Part III  The Banach Space Setting

 Book:
 OperatorAdapted Wavelets, Fast Solvers, and Numerical Homogenization
 Published online:
 10 October 2019
 Print publication:
 24 October 2019, pp 297344

 Chapter
 Export citation
9  Reasoning about Generic ωSequences

 Book:
 The Metaphysics and Mathematics of Arbitrary Objects
 Published online:
 24 May 2019
 Print publication:
 13 June 2019, pp 162188

 Chapter
 Export citation
CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC

 Journal:
 The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
 Published online by Cambridge University Press:
 23 October 2018, pp. 10631090
 Print publication:
 September 2018

 Article
 Export citation
A GENERAL POSITION PROBLEM IN GRAPH THEORY
 Part of

 Journal:
 Bulletin of the Australian Mathematical Society / Volume 98 / Issue 2 / October 2018
 Published online by Cambridge University Press:
 18 July 2018, pp. 177187
 Print publication:
 October 2018

 Article

 You have access
 Export citation
Connectivity in Hypergraphs

 Journal:
 Canadian Mathematical Bulletin / Volume 61 / Issue 2 / 01 June 2018
 Published online by Cambridge University Press:
 20 November 2018, pp. 252271
 Print publication:
 01 June 2018

 Article

 You have access
 Export citation
ON SEMIGROUPS WITH PSPACECOMPLETE SUBPOWER MEMBERSHIP PROBLEM
 Part of

 Journal:
 Journal of the Australian Mathematical Society / Volume 106 / Issue 1 / February 2019
 Published online by Cambridge University Press:
 30 May 2018, pp. 127142
 Print publication:
 February 2019

 Article

 You have access
 Export citation
When you must forget: Beyond strong persistence when forgetting in answer set programming*

 Journal:
 Theory and Practice of Logic Programming / Volume 17 / Issue 56 / September 2017
 Published online by Cambridge University Press:
 30 August 2017, pp. 837854

 Article
 Export citation
Precise complexity guarantees for pointer analysis via Datalog with extensions*

 Journal:
 Theory and Practice of Logic Programming / Volume 16 / Issue 56 / September 2016
 Published online by Cambridge University Press:
 14 October 2016, pp. 916932

 Article
 Export citation
TRACTABLE FALSIFIABILITY

 Journal:
 Economics & Philosophy / Volume 31 / Issue 2 / July 2015
 Published online by Cambridge University Press:
 07 May 2015, pp. 259274

 Article
 Export citation
PRESBURGER ARITHMETIC, RATIONAL GENERATING FUNCTIONS, AND QUASIPOLYNOMIALS

 Journal:
 The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
 Published online by Cambridge University Press:
 22 April 2015, pp. 433449
 Print publication:
 June 2015

 Article
 Export citation
A Discrete Fourier Transformationbased Method for Phase Delay Estimation in Xray Pulsar Navigation

 Journal:
 The Journal of Navigation / Volume 68 / Issue 5 / September 2015
 Published online by Cambridge University Press:
 13 April 2015, pp. 989998
 Print publication:
 September 2015

 Article

 You have access
 HTML
 Export citation
Computational Complexity of Topological Invariants
 Part of

 Journal:
 Proceedings of the Edinburgh Mathematical Society / Volume 58 / Issue 1 / February 2015
 Published online by Cambridge University Press:
 11 December 2014, pp. 2732

 Article
 Export citation