The following pages link to (Q3197780):
Displaying 23 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)
- Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 (Q789378) (← links)
- Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15--20, 2008. Proceedings (Q929188) (← links)
- Quantitative logic (Q1007841) (← links)
- Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings (Q1188694) (← links)
- Constraints on computational logic. International conference, Munich, Germany, 1994 (Q1271564) (← links)
- LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Q1327712) (← links)
- Logic programming '88. Proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 (Q1801279) (← 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)
- (Q4002277) (← links)
- (Q4202968) (← links)
- (Q4348468) (← links)
- (Q4829655) (← links)
- (Q4858041) (← links)
- (Q4860768) (← links)
- Probabilistic Powerdomains and Quasi-Continuous Domains (Q5095209) (← links)
- Logic and Computation (Q5966630) (← links)
- An exper model for Quest (Q6116585) (← links)
- A compositional approach to parity games (Q6653762) (← links)
