scientific article; zbMATH DE number 1136077

From MaRDI portal

Revision as of 00:27, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4381388

Jump to:navigation, search

zbMath0893.03012MaRDI QIDQ4381388

Limsoon Wong, Leonid O. Libkin

Publication date: 20 July 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

descriptive complexity counting quantifiers unary quantifiers auxiliary relations expressivity bounds for extensions of first-order logic

Mathematics Subject Classification ID

Database theory (68P15) Complexity of computation (including implicit computational complexity) (03D15) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (1)

Lower bounds for invariant queries in logics with counting.

This page was built for publication:

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