scientific article; zbMATH DE number 7297821
From MaRDI portal
Publication:5144619
zbMath1452.03085MaRDI QIDQ5144619
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3330008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Model theory of finite structures (03C13)
Related Items (1)
This page was built for publication: