Publication:5799960
From MaRDI portal
zbMath0040.16403MaRDI QIDQ5799960
Publication date: 1950
Related Items
Small model property reflects in games and automata, Automatic models of first order theories, An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers, Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas, A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth