Similar Items: Matching Logic
- Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix
- Decidability of higher-order matching
- Formalizing Randomized Matching Algorithms
- Algebraic Pattern Matching in Join Calculus
- Regular matching problems for infinite trees
- Robust Point Matching with Distance Profiles