scientific article; zbMATH DE number 4172924

MaRDI QIDQ3197780zbMATH OpenFDO

Authors

Publication date 1989

zbMATH Keywords

Computer scienceLogicPacific Grove, CA (USA)ProceedingsSymposium

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• scientific article; zbMATH DE number 51905
• Logic in computer science. Selected papers from the 1990 IEEE symposium
• scientific article; zbMATH DE number 682198
• scientific article; zbMATH DE number 48608
• scientific article; zbMATH DE number 1333825
• Logic and Computation
• Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994
• Computational Logic
• scientific article; zbMATH DE number 1049165
• scientific article; zbMATH DE number 51865

Cited in

(25)

• Quantitative logic
• Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings
• Constraints on computational logic. International conference, Munich, Germany, 1994
• LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings
• Logic programming '88. Proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
• Modular termination proofs for rewriting using dependency pairs
• On the complexity of semantic self-minimization
• Transfer matrix for spanning trees, webs and colored forests
• A survey on tree matching and XML retrieval
• scientific article; zbMATH DE number 51905 (Why is no real title available?)
• Bidirectional search in a string with wavelet trees and bidirectional matching statistics
• scientific article; zbMATH DE number 409417 (Why is no real title available?)
• scientific article; zbMATH DE number 1049165 (Why is no real title available?)
• scientific article; zbMATH DE number 2120362 (Why is no real title available?)
• scientific article; zbMATH DE number 824741 (Why is no real title available?)
• scientific article; zbMATH DE number 830427 (Why is no real title available?)
• Probabilistic powerdomains and quasi-continuous domains
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Logic and Computation
• An exper model for Quest
• A compositional approach to parity games
• A faster-than relation for semi-Markov decision processes
• Models of random spanning trees
• Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
• Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15--20, 2008. Proceedings

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3197780)