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