default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 25
Volume 25, Number 1, January 1988
- Eric C. R. Hehner, Andrew J. Malton:
Termination Conventions and Comparative Semantics. 1-14 - Alain Finkel, Annie Choquet:
Fifo Nets Without Order Deadlock. 15-36 - Athanasios K. Tsakalidis:
The Nearest Common Ancestor in a Dynamic Tree. 37-54 - Victor Vianu:
Database Survivability Under Dynamic Constraints. 55-84 - Mahadevan Ganapathi, Charles N. Fischer:
Integrating Code Generation and Peephole Optimization. 85-109
Volume 25, Number 2, February 1988
- Friedrich L. Bauer, Martin Wirsing:
Crypt-Equivalent Algebraic Specifications. 111-153 - Thomas W. Reps:
Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications. 155-178 - Luc Bougé:
On the Existence of Symmetric Algorithms to Find Leaders in Networks of Communicating Sequential Processes. 179-201 - Andrzej Ehrenfeucht, Hendrik Jan Hoogeboom
, Grzegorz Rozenberg:
Recording the Use of Memory in Right-Boundary Grammars and Push-Down Automata. 203-231
Volume 25, Number 3, April 1988
- Donald Sannella, Andrzej Tarlecki:
Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. 233-281 - Zhang Ming-Hua:
A Second Order Theory of Data Types. 283-303 - Ann E. Kelley Sobel, Neelam Soundararajan:
A Proof System for Distributed Processes. 305-332 - John H. Reif, Scott A. Smolka:
The Complexity of Reachability in Distributed Communicating Processes. 333-354
Volume 25, Number 4, May 1988
- Robert Giegerich:
Composition and Evaluation of Attribute Coupled Grammars. 355-423 - Ulf R. Schmerl:
Resolution on Formula-Trees. 425-438 - Andrzej Biela:
Program-Substitution and Admissibility of Rules in Algorithmic Logic. 439-473
Volume 25, Number 5, June 1988
- Edward P. F. Chan, Héctor J. Hernández:
On Generating Database Schemes Bounded or Constant-time-maintainable by Extensibility. 475-496 - William P. R. Mitchell:
Inductive Completion with Retracts. 497-514 - Pavel Pudlák, Vojtech Rödl, Petr Savický:
Graph Complexity. 515-535 - Joost Engelfriet, George Leih, Grzegorz Rozenberg:
Apex Graph Grammars and Attribute Grammars. 537-571 - Paliath Narendran, Friedrich Otto:
Elements of Finite Order for Finite Weight-Reducing and Confluent Thue Systems. 573-591
Volume 25, Number 6, August 1988
- Ralph-Johan Back:
A Calculus of Refinements for Program Derivations. 593-624 - José Luiz Fiadeiro, Amílcar Sernadas:
Specification and Verification of Database Dynamics. 625-661 - Sheldon Shen:
Cooperative Distributed Dynamic Load Balancing. 663-676 - Satish K. Tripathi, David Finkel, Erol Gelenbe:
Load Sharing in Distributed Systems with Failures. 677-689 - Giorgio Levi, Catuscia Palamidessi:
Contributions to the Semantics of Logic Perpetual Processes. 691-711
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-01-09 19:36 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:
