First-Order Queries over One Unary Function

From MaRDI portal

Revision as of 04:16, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3613347

Jump to:navigation, search

DOI10.1007/11874683_22zbMath1225.68085OpenAlexW1588422895MaRDI QIDQ3613347

Arnaud Durand, Frédéric Olive

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

Mathematics Subject Classification ID

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 (1)

Computing thejth solution of a first-order query

This page was built for publication: First-Order Queries over One Unary Function

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3613347&oldid=17036461"