Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/acta/AdamsGV79,
  author       = {Colin Adams and
                  Erol Gelenbe and
                  Jean Vicard},
  title        = {An Experimentally Validated Model of the Paging Drum},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {103--117},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264019},
  doi          = {10.1007/BF00264019},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AdamsGV79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/ArbibA79,
  author       = {Michael A. Arbib and
                  Suad Alagic},
  title        = {Proof Rules for Gotos},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {139--148},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264021},
  doi          = {10.1007/BF00264021},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/ArbibA79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/AsveldE79,
  author       = {Peter R. J. Asveld and
                  Joost Engelfriet},
  title        = {Extended Linear Macro Grammars, Iteration Grammars, and Register Programs},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {259--285},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289071},
  doi          = {10.1007/BF00289071},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AsveldE79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Autebert79,
  author       = {Jean{-}Michel Autebert},
  title        = {Op{\'{e}}rations de Cylindre et applications s{\'{e}}quentielles
                  gauches inverses},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {241--258},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289070},
  doi          = {10.1007/BF00289070},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Autebert79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Bouchet79,
  author       = {P. Bouchet},
  title        = {Proc{\'{e}}dures de reprise dans les syst{\`{e}}mes de gestion
                  de base de donn{\'{e}}es r{\'{e}}parties},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {305--340},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289092},
  doi          = {10.1007/BF00289092},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Bouchet79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/ColemanH79,
  author       = {Derek Coleman and
                  Jane W. Hughes},
  title        = {The Clean Termination of Pascal Programs},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {195--210},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289066},
  doi          = {10.1007/BF00289066},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/ColemanH79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Gries79,
  author       = {David Gries},
  title        = {The Schorr-Waite Graph Marking Algorithm},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {223--232},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289068},
  doi          = {10.1007/BF00289068},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Gries79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Hehner79,
  author       = {Eric C. R. Hehner},
  title        = {do Considered od: {A} Contribution to the Programming Calculus},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {287--304},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289091},
  doi          = {10.1007/BF00289091},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Hehner79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Heilbrunner79,
  author       = {Stephan Heilbrunner},
  title        = {On the Definition of ELR(k) and ELL(k) Grammars},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {169--176},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264023},
  doi          = {10.1007/BF00264023},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Heilbrunner79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Jones79,
  author       = {Cliff B. Jones},
  title        = {Constructing a Theory of a Data Structure as an Aid to Program Development},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {119--137},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264020},
  doi          = {10.1007/BF00264020},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Jones79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kemp79,
  author       = {Rainer Kemp},
  title        = {The Average Number of Registers Needed to Evaluate a Binary Tree Optimally},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {363--372},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289094},
  doi          = {10.1007/BF00289094},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kemp79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LaLonde79,
  author       = {Wilf R. LaLonde},
  title        = {Constructing {LR} Parsers for Regular Right Part Grammars},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {177--193},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264024},
  doi          = {10.1007/BF00264024},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LaLonde79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Latteux79,
  author       = {Michel Latteux},
  title        = {Intersections de langages alg{\'{e}}briques born{\'{e}}s},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {233--240},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289069},
  doi          = {10.1007/BF00289069},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Latteux79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Leeuwen79,
  author       = {Jan van Leeuwen},
  title        = {A Useful Lemma for Context-Free Programmed Grammars},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {373--386},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289095},
  doi          = {10.1007/BF00289095},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Leeuwen79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Merzenich79,
  author       = {Wolfgang Merzenich},
  title        = {A Binary Operation on Trees and an Initial Algebra Characterization
                  for Finite Tree Types},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {149--168},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00264022},
  doi          = {10.1007/BF00264022},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Merzenich79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Topor79,
  author       = {Rodney W. Topor},
  title        = {The Correctness of the Schorr-Waite List Marking Algorithm},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {211--221},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289067},
  doi          = {10.1007/BF00289067},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Topor79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Unterauer79,
  author       = {Karl Unterauer},
  title        = {Dynamic Weighted Binary Search Trees},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {341--362},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF00289093},
  doi          = {10.1007/BF00289093},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Unterauer79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/AdlemanBPR78,
  author       = {Leonard M. Adleman and
                  Kellogg S. Booth and
                  Franco P. Preparata and
                  Walter L. Ruzzo},
  title        = {Improved Time and Space Bounds for Boolean Matrix Multiplication},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {61--77},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264600},
  doi          = {10.1007/BF00264600},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AdlemanBPR78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Darlington78,
  author       = {John Darlington},
  title        = {A Synthesis of Several Sorting Algorithms},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {1--30},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264597},
  doi          = {10.1007/BF00264597},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Darlington78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GinsburgW78,
  author       = {Seymour Ginsburg and
                  Derick Wood},
  title        = {Precedence Relations in Grammar Forms},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {79--88},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264602},
  doi          = {10.1007/BF00264602},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GinsburgW78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Greibach78,
  author       = {Sheila A. Greibach},
  title        = {Hierarchy Theorems for Two-Way Finite State Transducers},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {80--101},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264603},
  doi          = {10.1007/BF00264603},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Greibach78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/HuetL78,
  author       = {G{\'{e}}rard P. Huet and
                  Bernard Lang},
  title        = {Proving and Applying Program Transformations Expressed with Second-Order
                  Patterns},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {31--55},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264598},
  doi          = {10.1007/BF00264598},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/HuetL78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/SilberschatzJ78,
  author       = {Abraham Silberschatz and
                  Brian Johnson},
  title        = {Remarks on "Some Comments on Concurrent Readers and Writers" by Reidar
                  Conradi},
  journal      = {Acta Informatica},
  volume       = {11},
  pages        = {57--60},
  year         = {1978},
  url          = {https://doi.org/10.1007/BF00264599},
  doi          = {10.1007/BF00264599},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/SilberschatzJ78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.