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}
}

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.