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.