scientific article; zbMATH DE number 1042660
From MaRDI portal
Publication:4346298
zbMath0876.03017MaRDI QIDQ4346298
Publication date: 3 August 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order logicconnectivityfinite graphsclasses of graphsEhrenfeucht-Fraissé gamemonadic existential second-order logicunary generalized quantifierstrivial graphs
Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Connectivity (05C40)
Related Items
This page was built for publication: