default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 103
Volume 103, Number 1, 1993
- Amir Pnueli, Lenore D. Zuck:
Probabilistic Verification. 1-29 - Seymour Ginsburg, Dan A. Simovici, Xiaoyang Sean Wang:
Content-Related Interval Queries on Object Histories. 30-67 - Richard Beigel, William I. Gasarch, John Gill, James C. Owings:
Terse, Superterse, and Verbose Sets. 68-85 - Moreno Falaschi
, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. 86-113 - José Meseguer, Joseph A. Goguen:
Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems. 114-158
Volume 103, Number 2, 1993
- Ludwig Staiger:
Kolgomorov Complexity and Hausdorff Dimension. 159-194 - Ilmir Kh. Musikaev, Michael A. Taitslin:
Limitations of the Program Memory and the Expressive Power of Dynamic Logics. 195-203 - Luca Aceto, Matthew Hennessy:
Towards Action-Refinement in Process Algebras. 204-269 - David Peleg:
Distance-Dependent Distributed Directories. 270-298 - Ronald L. Rivest, Robert E. Schapire:
Inference of Finite Automata Using Homing Sequences. 299-347
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-02 23:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
