scientific article; zbMATH DE number 2086422

MaRDI QIDQ4736877zbMATH OpenFDO

Authors Markus Frick

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2285/22850632.htm

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Generalized model-checking over locally tree-decomposable classes
• Deciding first-order properties of locally tree-decomposable structures
• scientific article; zbMATH DE number 1405654
• Compact labelings for efficient first-order model-checking
• scientific article; zbMATH DE number 4081531

Cited in

(7)

• Deciding first-order properties of locally tree-decomposable structures
• Efficient First-Order Model-Checking Using Short Labels
• scientific article; zbMATH DE number 4081531 (Why is no real title available?)
• scientific article; zbMATH DE number 1405654 (Why is no real title available?)
• scientific article; zbMATH DE number 969067 (Why is no real title available?)
• Compact labelings for efficient first-order model-checking
• Generalized model-checking over locally tree-decomposable classes

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