Crossing the syntactic barrier: hom-disequalities for H₁-clauses
From MaRDI portal
Publication:2914718
Recommendations
Cites work
- scientific article; zbMATH DE number 1341618 (Why is no real title available?)
- scientific article; zbMATH DE number 1948386 (Why is no real title available?)
- scientific article; zbMATH DE number 1424055 (Why is no real title available?)
- Bottom-Up Tree Automata with Term Constraints
- Deciding \(\mathcal H_1\) by resolution
- Extending \(H_1\)-clauses with disequalities
- Extending \({\mathcal H}_1\)-clauses with path disequalities
- The HOM problem is decidable
- Verification, Model Checking, and Abstract Interpretation
Cited in
(3)
This page was built for publication: Crossing the syntactic barrier: hom-disequalities for \({\mathcal H}_1\)-clauses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914718)