Combining Finite Combination Properties: Finite Models and Busy Beavers

DOI10.1007/978-3-031-43369-6_9MaRDI QIDQ6496627

Clark Barrett, Guilherme V. Toledo, Yoni Zohar

Publication date: 3 May 2024

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites Work

• Unnamed Item
• Many-sorted equivalence of shiny and strongly polite theories
• Politeness and stable infiniteness: stronger together
• Polite combination of algebraic datatypes
• Simplification by Cooperating Decision Procedures
• Polite Theories Revisited
• On Non-Computable Functions
• Logics in Artificial Intelligence
• Frontiers of Combining Systems

This page was built for publication: Combining Finite Combination Properties: Finite Models and Busy Beavers