scientific article; zbMATH DE number 1995142

MaRDI QIDQ4431361zbMATH OpenFDO

Authors Bruno Courcelle

Publication date 22 October 2003

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Graph theory (05C99)

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