"The Decision Problem for Regular First-Order Theories."

Umang Mathur, David Mestel, Mahesh Viswanathan (2024)

Details and statistics

DOI: 10.48550/ARXIV.2410.17185

access: open

type: Informal or Other Publication

metadata version: 2024-11-27