First-Order Queries over One Unary Function
From MaRDI portal
Publication:3613347
DOI10.1007/11874683_22zbMath1225.68085OpenAlexW1588422895MaRDI QIDQ3613347
Publication date: 12 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11874683_22
Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Logic in computer science (03B70) Quantifier elimination, model completeness, and related topics (03C10)
Related Items