


default search action
Theoretical Computer Science, Volume 190
Volume 190, Number 1, 10 January 1998
- Maribel Fernández, Ian Mackie:

Interaction Nets and Term-Rewriting Systems. 3-39 - Roope Kaivola:

Axiomatising Extended Computation Tree Logic. 41-60 - Björn Lisper:

Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. 61-85 - Allan Cheng, Mogens Nielsen:

Open Maps, Behavioural Equivalences, and Congruences. 87-112
Volume 190, Number 2, 20 January 1998
- Nicole Bidoit, Sandra de Amo:

A First Step Towards Implementing Dynamic Algebraic Dependences. 115-149 - János Demetrovics, Gyula O. H. Katona, Dezsö Miklós, Oleg Seleznjev, Bernhard Thalheim:

Asymptotic Properties of Keys and Functional Dependencies in Random Databases. 151-166 - Leonid Libkin:

Models of Approximation in Databases. 167-210 - Sérgio Lifschitz

, Victor Vianu:
A Probabilistic View of Datalog Parallelization. 211-239 - V. Wiktor Marek, Miroslaw Truszczynski:

Revision Programming. 241-277 - Dan Suciu

:
Domain-Independent Queries on Databases with External Functions. 279-315 - Jerzy Tyszkiewicz

:
The Kolmogorov Expressive Power of Boolean Query Languages. 317-361 - Radek Vingralek, Haiyan Hasse-Ye, Yuri Breitbart, Hans-Jörg Schek:

Unifying Concurrency Control and Recovery of Transactions with Semantically Rich Operations. 363-396

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














