default search action
Information and Computation, Volume 103
Volume 103, Number 1, 1993
- 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
- Ilmir Kh. Musikaev, Michael A. Taitslin:
Limitations of the Program Memory and the Expressive Power of Dynamic Logics. 195-203
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2015-02-27 00:53 CET by the dblp team