scientific article; zbMATH DE number 7297881

zbMath1452.03087arXiv1703.01122MaRDI QIDQ5144680

Nicole Schweikardt, Dietrich Kuske

Publication date: 19 January 2021

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13)

Related Items (4)

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes ⋮ INTERLEAVING LOGIC AND COUNTING ⋮ Unnamed Item ⋮ First-order definable counting-only queries

This page was built for publication: