The following pages link to (Q3197780):
Displaying 9 items.
- A survey on tree matching and XML retrieval (Q394973) (← links)
- Bidirectional search in a string with wavelet trees and bidirectional matching statistics (Q418161) (← links)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- Quantitative logic (Q1007841) (← links)
- Modular termination proofs for rewriting using dependency pairs (Q1864874) (← links)
- On the Complexity of Semantic Self-minimization (Q2810966) (← links)
- Transfer matrix for spanning trees, webs and colored forests (Q3302065) (← links)
- Probabilistic Powerdomains and Quasi-Continuous Domains (Q5095209) (← links)
- A compositional approach to parity games (Q6653762) (← links)
