Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/acta/AgrawalD83,
  author       = {Rakesh Agrawal and
                  Keith D. Detro},
  title        = {An Efficient Incremental {LR} Parser for Grammars With Epsilon Productions},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {369--376},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00290733},
  doi          = {10.1007/BF00290733},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/AgrawalD83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BergstraT83,
  author       = {Jan A. Bergstra and
                  J. Terlouw},
  title        = {Standard Model Semantics for {DSL} {A} Data Type Specification Language},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {97--113},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00263930},
  doi          = {10.1007/BF00263930},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BergstraT83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/El-AffendiK83,
  author       = {Mohammed Ahmed El{-}Affendi and
                  Demetres D. Kouvatsos},
  title        = {A Maximum Entropy Analysis of the \emph{ {M/G/} } 1 and \emph{ {G/M/}
                  } 1 Queueing Systems at Equilibrium},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {339--355},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00290731},
  doi          = {10.1007/BF00290731},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/El-AffendiK83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/EngelsPE83,
  author       = {Gregor Engels and
                  Udo Pletat and
                  Hans{-}Dieter Ehrich},
  title        = {An Operational Semantics for Specifications of Abstract Data Types
                  with Error Handling},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {235--253},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00265557},
  doi          = {10.1007/BF00265557},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/EngelsPE83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/File83,
  author       = {Gilberto Fil{\'{e}}},
  title        = {Interpretation and Reduction of Attribute Grammars},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {115--150},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00264472},
  doi          = {10.1007/BF00264472},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/File83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Heide83,
  author       = {Friedhelm Meyer auf der Heide},
  title        = {Efficiency of Universal Parallel Computers},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {269--296},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00265559},
  doi          = {10.1007/BF00265559},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Heide83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Hromkovic83,
  author       = {Juraj Hromkovic},
  title        = {On-Way Multihead Deterministic Finite Automata},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {377--384},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00290734},
  doi          = {10.1007/BF00290734},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Hromkovic83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Iwama83,
  author       = {Kazuo Iwama},
  title        = {The Universe Problem for Unrestricted Flow Languages},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {85--96},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00263929},
  doi          = {10.1007/BF00263929},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Iwama83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KearnsS83,
  author       = {John P. Kearns and
                  Mary Lou Soffa},
  title        = {The Implementation of Retention in a Coroutine Environment},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {221--233},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00265556},
  doi          = {10.1007/BF00265556},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KearnsS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KleinH83,
  author       = {Peter Klein and
                  Friedhelm Meyer auf der Heide},
  title        = {A Lower Time Bound for the Knapsack Problem on Random Access Machines},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {385--395},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00290735},
  doi          = {10.1007/BF00290735},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KleinH83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KungP83,
  author       = {H. T. Kung and
                  Christos H. Papadimitriou},
  title        = {An Optimality Theory of Concurrency Control for Databases},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {1--11},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00263925},
  doi          = {10.1007/BF00263925},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KungP83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Kuspert83,
  author       = {Klaus K{\"{u}}spert},
  title        = {Storage Utilization in B*-Trees with a Generalized Overflow Technique},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {35--55},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00263927},
  doi          = {10.1007/BF00263927},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Kuspert83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Nielson83,
  author       = {Hanne Riis Nielson},
  title        = {Computation Sequences: {A} Way to Characterize Classes of Attribute
                  Grammars},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {255--268},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00265558},
  doi          = {10.1007/BF00265558},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Nielson83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Pfaff83,
  author       = {G{\"{u}}nther E. Pfaff},
  title        = {The Construction of Operator Interfaces Based on Logical Input Devices},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {151--166},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00264473},
  doi          = {10.1007/BF00264473},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Pfaff83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/QueilleS83,
  author       = {Jean{-}Pierre Queille and
                  Joseph Sifakis},
  title        = {Fairness and Related Properties in Transition Systems - {A} Temporal
                  Logic to Deal with Fairness},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {195--220},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00265555},
  doi          = {10.1007/BF00265555},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/QueilleS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Ruohonen83,
  author       = {Keijo Ruohonen},
  title        = {On Some Variants of Post's Correspondence Problem},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {357--367},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00290732},
  doi          = {10.1007/BF00290732},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Ruohonen83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Schmitt83,
  author       = {Alfred Schmitt},
  title        = {On the Number of Relational Operators Necessary to Compute Certain
                  Functions of Real Variables},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {297--304},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00265560},
  doi          = {10.1007/BF00265560},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Schmitt83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Schurfeld83,
  author       = {Ute Sch{\"{u}}rfeld},
  title        = {New Lower Bounds on the Formula Size of Boolean Functions},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {183--194},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00264475},
  doi          = {10.1007/BF00264475},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Schurfeld83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/SommerhalderW83,
  author       = {Rudolph Sommerhalder and
                  S. Christian van Westrhenen},
  title        = {Parallel Language Recognition in Constant Time by Cellular Automata},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {397--407},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00290736},
  doi          = {10.1007/BF00290736},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/SommerhalderW83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/SuzukiK83,
  author       = {Ichiro Suzuki and
                  Tadao Kasami},
  title        = {Three Measures for Synchronic Dependence in Petri Nets},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {325--338},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00290730},
  doi          = {10.1007/BF00290730},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/SuzukiK83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Taylor83,
  author       = {Richard N. Taylor},
  title        = {Complexity of Analyzing the Synchronization Structure of Concurrent
                  Programs},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {57--84},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00263928},
  doi          = {10.1007/BF00263928},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Taylor83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/TsudaS83,
  author       = {Takao Tsuda and
                  Takashi Sato},
  title        = {Transposition of Large Tabular Data Structures with Applications to
                  Physical Database Organization},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {13--33},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00263926},
  doi          = {10.1007/BF00263926},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/TsudaS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/TsudaUS83,
  author       = {Takao Tsuda and
                  Akira Urano and
                  Takashi Sato},
  title        = {Transposition of Large Tabular Data Structures with Applications to
                  Physical Database Organization},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {167--182},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00264474},
  doi          = {10.1007/BF00264474},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/TsudaUS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Vardi83,
  author       = {Moshe Y. Vardi},
  title        = {Inferring Multivalued Dependencies From Functional and Join Dependencies},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {305--324},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00290729},
  doi          = {10.1007/BF00290729},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Vardi83.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.