Pebble games for logics with counting and rank

zbMATH Open1245.03050MaRDI QIDQ3172124FDOQ3172124

Authors: Anuj Dawar, Bjarki Holm 

Publication date: 5 October 2011

Recommendations

• scientific article; zbMATH DE number 1086490
• scientific article; zbMATH DE number 67050
• The expressive power of fixed-point logic with counting

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Cited In (3)

• Pebble games and subroutines in least fixed point logic
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Pebble games for logics with counting and rank

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