Structural analysis and matching of shape by logical property
From MaRDI portal
Recommendations
Cited in
(5)- Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding
- scientific article; zbMATH DE number 56337 (Why is no real title available?)
- Integration of local and global shape analysis for logo classification
- Property checking via structural analysis
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Structural analysis and matching of shape by logical property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5466368)