scientific article; zbMATH DE number 1500519

zbMATH Open0953.03040MaRDI QIDQ4501536FDOQ4501536

Authors: Leonid Libkin 

Publication date: 4 September 2000

Title of this publication is not available (Why is that?)

Recommendations

• Logics capturing local properties
• scientific article; zbMATH DE number 1453077
• Notions of locality and their logical characterizations over finite models
• Logics with counting and local properties
• Computer Science Logic

zbMATH Keywords

finite structuresinfinitary logicfirst-order model theoryGaifman-localityHanf-localitylogical characterizations of local properties

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Cited In (3)

• On Hanf-equivalence and the number of embeddings of small induced subgraphs
• Logics capturing local properties
• Computer Science Logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501536)