scientific article; zbMATH DE number 850318

zbMATH Open0850.03049MaRDI QIDQ4866342FDOQ4866342

Authors: Martin Grohe 

Publication date: 4 March 1996

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

Mathematics Subject Classification ID

Model theory of finite structures (03C13)

Cited In (5)

• A double arity hierarchy theorem for transitive closure logic
• Title not available (Why is that?)
• Games and total Datalog\(^{\lnot}\) queries
• On the expressive power of monadic least fixed point logic
• A logic-based approach to incremental reasoning on multi-agent systems

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)