scientific article; zbMATH DE number 3060762
From MaRDI portal
Publication:5799960
zbMath0040.16403MaRDI QIDQ5799960
Publication date: 1950
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
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
This page was built for publication:
