Similar Items: Universal Structures and the logic of Forbidden Patterns
- Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix
- The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
- On Ramsey properties of classes with forbidden trees
- Inferring Phylogenetic Networks from Allowed and Forbidden LCA-Constraints
- On the strictness of the quantifier structure hierarchy in first-order logic
- Forbidden-Context & Ordered Grammar Systems