Online, computable and punctual structure theory

Article Properties
  • Language
    English
  • DOI (url)
    10.1093/jigpal/jzac065
  • Publication Date
    2022/08/17
  • Journal
    Logic Journal of the IGPL
  • Indian UGC (journal)
  • Refrences
    73
  • Matthew Askes School of Mathematics and Statistics , Victoria University of Wellington, PO Box 600, Wellington 6140, New Zealand
  • Rod Downey School of Mathematics and Statistics , Victoria University of Wellington, PO Box 600, Wellington 6140, New Zealand
Abstract
Cite
Askes, Matthew, and Rod Downey. “Online, Computable and Punctual Structure Theory”. Logic Journal of the IGPL, vol. 31, no. 6, 2022, pp. 1251-93, https://doi.org/10.1093/jigpal/jzac065.
Askes, M., & Downey, R. (2022). Online, computable and punctual structure theory. Logic Journal of the IGPL, 31(6), 1251-1293. https://doi.org/10.1093/jigpal/jzac065
Askes, Matthew, and Rod Downey. “Online, Computable and Punctual Structure Theory”. Logic Journal of the IGPL 31, no. 6 (2022): 1251-93. https://doi.org/10.1093/jigpal/jzac065.
Askes M, Downey R. Online, computable and punctual structure theory. Logic Journal of the IGPL. 2022;31(6):1251-93.
Journal Categories
Science
Mathematics
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
Refrences
Title Journal Journal Categories Citations Publication Date
Online presentations of finitely generated structures Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 5 2020
Graphs are not universal for online computability Journal of Computer and System Sciences
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 8 2020
Primitively recursively categorical linear orderings 2019
Categoricity for Primitive Recursive and Polynomial Boolean Algebras Algebra and Logic
  • Science: Mathematics
  • Science: Mathematics
 10 2018
Structures Computable in Polynomial Time. II Algebra and Logic
  • Science: Mathematics
  • Science: Mathematics
 11 2018