Publication:3197780
From MaRDI portal
zbMath0713.00018MaRDI QIDQ3197780
No author found.
Publication date: 1989
00B25: Proceedings of conferences of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Related Items
Probabilistic Powerdomains and Quasi-Continuous Domains, An exper model for Quest, A survey on tree matching and XML retrieval, Bidirectional search in a string with wavelet trees and bidirectional matching statistics, Probabilistic coherence spaces as a model of higher-order probabilistic computation, Quantitative logic, Modular termination proofs for rewriting using dependency pairs, On the Complexity of Semantic Self-minimization, Transfer matrix for spanning trees, webs and colored forests