scientific article; zbMATH DE number 7453084

MaRDI QIDQ5020534

Szabolcs Iván, Kitti Gelle

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1909.08543

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (1)

The Order Type of Scattered Context-Free Orderings of Rank One Is Computable

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamental properties of infinite trees
• The equational theory of regular words
• An undecidable property of context-free linear orders
• The ordinal generated by an ordinal grammar is computable
• ALGEBRAIC LINEAR ORDERINGS
• On frontiers of regular trees
• Algebraic Ordinals
• Scattered Context-Free Linear Orderings
• Shuffling Ordinals and Transfinite Dimension

This page was built for publication: