scientific article; zbMATH DE number 7454914

zbMath1478.18005arXiv2101.10494MaRDI QIDQ5019689

Richard Statman

Publication date: 10 January 2022

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other algebras related to logic (03G25) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Related Items

Finite generation and presentation problems for lambda calculus and combinatory logic

Cites Work

• Unnamed Item
• Splitting homotopy idempotents. II
• Monoid generalizations of the Richard Thompson groups.
• Cantor algebras with single generator. I
• On Two Properties of Free Algebras.
• Can programming be liberated from the von Neumann style?
• One-way stack automata
• Decidability of Second-Order Theories and Automata on Infinite Trees