Deciding open definability via subisomorphisms

DOI10.1007/978-3-662-57669-4_5OpenAlexW2810508972MaRDI QIDQ1799273

Pablo Ventura, Carlos Areces, Miguel A. Campercholi

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-57669-4_5

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Model theory of finite structures (03C13)

Related Items (1)

Deciding quantifier-free definability in finite algebraic structures

This page was built for publication: Deciding open definability via subisomorphisms