Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/acta/Bromley80,
  author       = {Allan G. Bromley},
  title        = {Memory Fragmentation in Buddy Methods for Dynamic Storage Allocation},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {107--117},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00288539},
  doi          = {10.1007/BF00288539},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Bromley80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/CasanovaB80,
  author       = {Marco A. Casanova and
                  Philip A. Bernstein},
  title        = {General Purpose Schedulers for Database Systems},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {195--220},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00264253},
  doi          = {10.1007/BF00264253},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/CasanovaB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Commentz-WalterS80,
  author       = {Beate Commentz{-}Walter and
                  J{\"{u}}rgen Sattler},
  title        = {Size-depht Tradeoff in Non-monotone Boolean Formulae},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {257--269},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00264256},
  doi          = {10.1007/BF00264256},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Commentz-WalterS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Ellis80,
  author       = {Carla Schlatter Ellis},
  title        = {Concurrent Search and Insertion in 2-3 Trees},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {63--86},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00289064},
  doi          = {10.1007/BF00289064},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Ellis80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Galil80a,
  author       = {Zvi Galil},
  title        = {An \emph{ {O(V5/3} {E2/3)} } Algorithm for the Maximal Flow Problem},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {221--242},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00264254},
  doi          = {10.1007/BF00264254},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Galil80a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kemp80,
  author       = {Rainer Kemp},
  title        = {A Note on the Density of Inherently Ambiguous Context-free Languages},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {295--298},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00264258},
  doi          = {10.1007/BF00264258},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kemp80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kroger80,
  author       = {Fred Kr{\"{o}}ger},
  title        = {Infinite Proof Rules for Loops},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {371--389},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00286493},
  doi          = {10.1007/BF00286493},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kroger80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Lamport80,
  author       = {Leslie Lamport},
  title        = {The 'Hoare Logic' of Concurrent Programs},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {21--37},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00289062},
  doi          = {10.1007/BF00289062},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Lamport80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Moll80,
  author       = {Karl{-}Rudolf Moll},
  title        = {Left Context Precedence Grammars},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {317--335},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00286490},
  doi          = {10.1007/BF00286490},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Moll80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/NakajimaHN80,
  author       = {Reiji Nakajima and
                  Michio Honda and
                  Hayao Nakahara},
  title        = {Hierarchical Program Specification and Verification - a Many-sorted
                  Logical Approach},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {135--155},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00288541},
  doi          = {10.1007/BF00288541},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/NakajimaHN80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Nijholt80,
  author       = {Anton Nijholt},
  title        = {A Survey of Normal Form Covers for Context Free Grammars},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {271--294},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00264257},
  doi          = {10.1007/BF00264257},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Nijholt80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Nishimura80,
  author       = {Hirokazu Nishimura},
  title        = {Descriptively Complete Process Logic},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {359--369},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00286492},
  doi          = {10.1007/BF00286492},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Nishimura80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/PaulPR80,
  author       = {Wolfgang J. Paul and
                  Ernst{-}J{\"{u}}rgen Prau{\ss} and
                  R{\"{u}}diger Reischuk},
  title        = {On Alternation},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {243--255},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00264255},
  doi          = {10.1007/BF00264255},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/PaulPR80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/PaulR80,
  author       = {Wolfgang J. Paul and
                  R{\"{u}}diger Reischuk},
  title        = {On Alternation {II.} {A} Graph Theoretic Approach to Determinism Versus
                  Nondeterminism},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {391--403},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00286494},
  doi          = {10.1007/BF00286494},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/PaulR80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/PhilippP80,
  author       = {Reiner Philipp and
                  Ernst{-}J{\"{u}}rgen Prau{\ss}},
  title        = {{\"{U}}ber Separatoren in planaren Graphen},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {87--106},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00289065},
  doi          = {10.1007/BF00289065},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/PhilippP80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Plateau80,
  author       = {Brigitte Plateau},
  title        = {Evaluation des Performances d'un Algorithme de Controle de la Coh{\'{e}}rence
                  d'une Base de Donn{\'{e}}es R{\'{e}}partie},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {39--62},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00289063},
  doi          = {10.1007/BF00289063},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Plateau80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/PurdomB80,
  author       = {Paul Walton Purdom Jr. and
                  Cynthia A. Brown},
  title        = {Semantic Routines and \emph{ LR(k) } Parsers},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {299--315},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00286489},
  doi          = {10.1007/BF00286489},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/PurdomB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Russell80,
  author       = {Bruce Russell},
  title        = {Correctness of the Compiling Process Based on Axiomatic Semantics},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {1--20},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00289061},
  doi          = {10.1007/BF00289061},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Russell80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Soisalon-Soininen80,
  author       = {Eljas Soisalon{-}Soininen},
  title        = {On the Space Optimizing Effect of Eliminating Single Productions from
                  \emph{ {LR} } Parsers},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {157--174},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00288542},
  doi          = {10.1007/BF00288542},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Soisalon-Soininen80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/VaishnaviKW80,
  author       = {Vijay K. Vaishnavi and
                  Hans{-}Peter Kriegel and
                  Derick Wood},
  title        = {Optimum Multiway Search Trees},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {119--133},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00288540},
  doi          = {10.1007/BF00288540},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/VaishnaviKW80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Wand80,
  author       = {Mitchell Wand},
  title        = {First-Order Identities as a Defining Language},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {337--357},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00286491},
  doi          = {10.1007/BF00286491},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Wand80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Wegner80,
  author       = {Lutz Michael Wegner},
  title        = {On Parsing Two-Level Grammars},
  journal      = {Acta Informatica},
  volume       = {14},
  pages        = {175--193},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00288543},
  doi          = {10.1007/BF00288543},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Wegner80.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.