scientific article; zbMATH DE number 7453084

MaRDI QIDQ5020534zbMATH OpenFDO

Authors Kitti Gelle, Szabolcs Iván

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08543, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2019.12

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of game theory (91A80)

Cites work

• Algebraic linear orderings
• Algebraic ordinals
• An undecidable property of context-free linear orders
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3675332 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• On frontiers of regular trees
• Scattered Context-Free Linear Orderings
• Shuffling Ordinals and Transfinite Dimension
• The equational theory of regular words
• The ordinal generated by an ordinal grammar is computable

Cited in

(4)

• The order type of scattered context-free orderings of rank one is computable
• A Partition Theorem for Scattered Order Types
• Scattered Context-Free Linear Orderings
• THE COMPLEXITY OF SCOTT SENTENCES OF SCATTERED LINEAR ORDERS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5020534)