The Decision Problem for Regular First Order Theories

Keyphrases

• First-order Theory 100%
• Undecidable 100%
• Classical Decision Problem 100%
• Decision Problem 100%
• Challenges for the Future 50%
• First-order Logic 50%
• Automata 50%
• Semantic Classes 50%
• Complete Classification 50%
• Regular Set 50%
• Regularity Theory 50%
• Uninterpreted Programs 50%
• Syntactic Class 50%
• Entscheidungsproblem 50%

Computer Science

• Decision Problem 100%
• Syntactics 33%
• Subclasses 33%
• Automaton 33%
• Entscheidungsproblem 33%