scientific article; zbMATH DE number 5046793

zbMATH Open1105.03027MaRDI QIDQ5483318FDOQ5483318

Anuj Dawar

Publication date: 16 August 2006

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

zbMATH Keywords

finite model theorydescriptive complexityinductive definitionsfixed-point logics

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic in computer science (03B70) Descriptive complexity and finite models (68Q19)

Cited In (6)

• Title not available (Why is that?)
• Fixed-point extensions of first-order logic
• Title not available (Why is that?)
• On fixed-point logic with counting
• Fixed-Point Elimination in the Intuitionistic Propositional Calculus
• Axiomatizing fixpoint logics

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