scientific article

From MaRDI portal

Publication:2958533

Jump to:navigation, search

DOI10.4230/LIPIcs.CSL.2013.363zbMath1356.03078arXiv1611.07716MaRDI QIDQ2958533

Nicole Schweikardt, Frederik Harwath

Publication date: 2 February 2017

Full work available at URL: https://arxiv.org/abs/1611.07716

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

zbMATH Keywords

finite model theory arb-invariant formulas bounds in circuit complexity first-order logic with modulo counting quantifiers Gaifman and Hanf locality order-invariant formulas

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (1)

On the locality of arb-invariant first-order formulas with modulo counting quantifiers

This page was built for publication:

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

Pages with script errors