Regular Symmetry Patterns
No abstract available.
Related papers
- Scaling network verification using symmetry and surgery POPL 2016
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Regular expression patterns ICFP 2004
- Compiling regular patterns ICFP 2003
- Regular expression pattern matching for XML JFP 2003
- Regular expression pattern matching for XML POPL 2001
- Polymorphic regular tree types and patterns POPL 2006
- Accelerating GNNs on GPU Sparse Tensor Cores through N: M Sparsity-Oriented Graph Reordering PPoPP 2025