Search dblp for Publications

export results for "toc:db/journals/acta/acta25.bht:"

 download as .bib file

@article{DBLP:journals/acta/Back88,
  author       = {Ralph{-}Johan Back},
  title        = {A Calculus of Refinements for Program Derivations},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {6},
  pages        = {593--624},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00291051},
  doi          = {10.1007/BF00291051},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Back88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BauerW88,
  author       = {Friedrich L. Bauer and
                  Martin Wirsing},
  title        = {Crypt-Equivalent Algebraic Specifications},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {2},
  pages        = {111--153},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00263582},
  doi          = {10.1007/BF00263582},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BauerW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Biela88,
  author       = {Andrzej Biela},
  title        = {Program-Substitution and Admissibility of Rules in Algorithmic Logic},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {4},
  pages        = {439--473},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF02737110},
  doi          = {10.1007/BF02737110},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Biela88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Bouge88,
  author       = {Luc Boug{\'{e}}},
  title        = {On the Existence of Symmetric Algorithms to Find Leaders in Networks
                  of Communicating Sequential Processes},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {2},
  pages        = {179--201},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00263584},
  doi          = {10.1007/BF00263584},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Bouge88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/ChanH88,
  author       = {Edward P. F. Chan and
                  H{\'{e}}ctor J. Hern{\'{a}}ndez},
  title        = {On Generating Database Schemes Bounded or Constant-time-maintainable
                  by Extensibility},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {5},
  pages        = {475--496},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00279950},
  doi          = {10.1007/BF00279950},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/ChanH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/EhrenfeuchtHR88,
  author       = {Andrzej Ehrenfeucht and
                  Hendrik Jan Hoogeboom and
                  Grzegorz Rozenberg},
  title        = {Recording the Use of Memory in Right-Boundary Grammars and Push-Down
                  Automata},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {2},
  pages        = {203--231},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00263585},
  doi          = {10.1007/BF00263585},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/EhrenfeuchtHR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/EngelfrietLR88,
  author       = {Joost Engelfriet and
                  George Leih and
                  Grzegorz Rozenberg},
  title        = {Apex Graph Grammars and Attribute Grammars},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {5},
  pages        = {537--571},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00279953},
  doi          = {10.1007/BF00279953},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/EngelfrietLR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/FiadeiroS88,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  Am{\'{\i}}lcar Sernadas},
  title        = {Specification and Verification of Database Dynamics},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {6},
  pages        = {625--661},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00291052},
  doi          = {10.1007/BF00291052},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/FiadeiroS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/FinkelC87,
  author       = {Alain Finkel and
                  Annie Choquet},
  title        = {Fifo Nets Without Order Deadlock},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {1},
  pages        = {15--36},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00268843},
  doi          = {10.1007/BF00268843},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/FinkelC87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GanapathiF87,
  author       = {Mahadevan Ganapathi and
                  Charles N. Fischer},
  title        = {Integrating Code Generation and Peephole Optimization},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {1},
  pages        = {85--109},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00268846},
  doi          = {10.1007/BF00268846},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GanapathiF87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Giegerich88,
  author       = {Robert Giegerich},
  title        = {Composition and Evaluation of Attribute Coupled Grammars},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {4},
  pages        = {355--423},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF02737108},
  doi          = {10.1007/BF02737108},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Giegerich88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/HehnerM87,
  author       = {Eric C. R. Hehner and
                  Andrew J. Malton},
  title        = {Termination Conventions and Comparative Semantics},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {1},
  pages        = {1--14},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00268842},
  doi          = {10.1007/BF00268842},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HehnerM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LeviP88,
  author       = {Giorgio Levi and
                  Catuscia Palamidessi},
  title        = {Contributions to the Semantics of Logic Perpetual Processes},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {6},
  pages        = {691--711},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00291055},
  doi          = {10.1007/BF00291055},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LeviP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Ming-Hua88,
  author       = {Zhang Ming{-}Hua},
  title        = {A Second Order Theory of Data Types},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {3},
  pages        = {283--303},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00283330},
  doi          = {10.1007/BF00283330},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Ming-Hua88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Mitchell88,
  author       = {William P. R. Mitchell},
  title        = {Inductive Completion with Retracts},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {5},
  pages        = {497--514},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00279951},
  doi          = {10.1007/BF00279951},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Mitchell88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/NarendranO88,
  author       = {Paliath Narendran and
                  Friedrich Otto},
  title        = {Elements of Finite Order for Finite Weight-Reducing and Confluent
                  Thue Systems},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {5},
  pages        = {573--591},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00279954},
  doi          = {10.1007/BF00279954},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/NarendranO88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/PudlakRS88,
  author       = {Pavel Pudl{\'{a}}k and
                  Vojtech R{\"{o}}dl and
                  Petr Savick{\'{y}}},
  title        = {Graph Complexity},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {5},
  pages        = {515--535},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00279952},
  doi          = {10.1007/BF00279952},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/PudlakRS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/ReifS88,
  author       = {John H. Reif and
                  Scott A. Smolka},
  title        = {The Complexity of Reachability in Distributed Communicating Processes},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {3},
  pages        = {333--354},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00283332},
  doi          = {10.1007/BF00283332},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/ReifS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Reps88,
  author       = {Thomas W. Reps},
  title        = {Incremental Evaluation for Attribute Grammars with Unrestricted Movement
                  Between Tree Modifications},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {2},
  pages        = {155--178},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00263583},
  doi          = {10.1007/BF00263583},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Reps88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/SannellaT88,
  author       = {Donald Sannella and
                  Andrzej Tarlecki},
  title        = {Toward Formal Development of Programs from Algebraic Specifications:
                  Implementations Revisited},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {3},
  pages        = {233--281},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00283329},
  doi          = {10.1007/BF00283329},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/SannellaT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Schmerl88,
  author       = {Ulf R. Schmerl},
  title        = {Resolution on Formula-Trees},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {4},
  pages        = {425--438},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF02737109},
  doi          = {10.1007/BF02737109},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Schmerl88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Shen88,
  author       = {Sheldon Shen},
  title        = {Cooperative Distributed Dynamic Load Balancing},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {6},
  pages        = {663--676},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00291053},
  doi          = {10.1007/BF00291053},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Shen88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/SobelS88,
  author       = {Ann E. Kelley Sobel and
                  Neelam Soundararajan},
  title        = {A Proof System for Distributed Processes},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {3},
  pages        = {305--332},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00283331},
  doi          = {10.1007/BF00283331},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/SobelS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/TripathiFG88,
  author       = {Satish K. Tripathi and
                  David Finkel and
                  Erol Gelenbe},
  title        = {Load Sharing in Distributed Systems with Failures},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {6},
  pages        = {677--689},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00291054},
  doi          = {10.1007/BF00291054},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/TripathiFG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Tsakalidis87,
  author       = {Athanasios K. Tsakalidis},
  title        = {The Nearest Common Ancestor in a Dynamic Tree},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {1},
  pages        = {37--54},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00268844},
  doi          = {10.1007/BF00268844},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Tsakalidis87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Vianu87,
  author       = {Victor Vianu},
  title        = {Database Survivability Under Dynamic Constraints},
  journal      = {Acta Informatica},
  volume       = {25},
  number       = {1},
  pages        = {55--84},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00268845},
  doi          = {10.1007/BF00268845},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Vianu87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.