scientific article; zbMATH DE number 850318

MaRDI QIDQ4866342zbMATHFDO

Authors Martin Grohe

Publication date 4 March 1996

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Cited in

(5)

• A logic-based approach to incremental reasoning on multi-agent systems
• scientific article; zbMATH DE number 7450024 (Why is no real title available?)
• A double arity hierarchy theorem for transitive closure logic
• On the expressive power of monadic least fixed point logic
• Games and total Datalog\(^{\lnot}\) queries

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 Q4866342)