scientific article; zbMATH DE number 1302496
From MaRDI portal
Publication:4249026
zbMath0930.03033MaRDI QIDQ4249026
Publication date: 16 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
data basefinite model theoryorderabilitydistinguishabilityrelational machinecomputable queriesclique intersection graphsdistinguishable classes of finite structuresfirst-order logic with a constant number of variables
Database theory (68P15) Model theory of finite structures (03C13) Turing machines and related notions (03D10)
This page was built for publication: