Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/acta/BreitbartR74,
  author       = {Yuri Breitbart and
                  Allen Reiter},
  title        = {Algorithms for Fast Evaluation of Boolean Expressions},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {107--116},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00288743},
  doi          = {10.1007/BF00288743},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BreitbartR74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/BreitbartR74a,
  author       = {Yuri Breitbart and
                  Allen Reiter},
  title        = {A Branch-and-Bound Algorithm to Obtain an Optimal Evaluation Tree
                  for Monotonic Boolean Functions},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {311--319},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00289614},
  doi          = {10.1007/BF00289614},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BreitbartR74a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Brandwajn74,
  author       = {Alexandre Brandwajn},
  title        = {A Model of a Time Sharing Virtual Memory System Solved Using Equivalence
                  and Decomposition Methods},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {11--47},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288934},
  doi          = {10.1007/BF00288934},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Brandwajn74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Earley74,
  author       = {Jay Earley},
  title        = {Ambiguity and Precedence in Syntax Description},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {183--192},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288747},
  doi          = {10.1007/BF00288747},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Earley74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Ehrich74,
  author       = {Hans{-}Dieter Ehrich},
  title        = {Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme.
                  Teil {I:} Datenstrukturen und Schemata},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {201--211},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288726},
  doi          = {10.1007/BF00288726},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Ehrich74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Ehrich74a,
  author       = {Hans{-}Dieter Ehrich},
  title        = {Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme.
                  Teil {II:} Zugriffssysteme},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {299--310},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00289613},
  doi          = {10.1007/BF00289613},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Ehrich74a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/FayolleGLB74,
  author       = {Guy Fayolle and
                  Erol Gelenbe and
                  Jacques Labetoulle and
                  D. Bastin},
  title        = {The Stability Problem of Broadcast Packet Switching Computer Networks},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {49--53},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288935},
  doi          = {10.1007/BF00288935},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/FayolleGLB74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/FinkelB74,
  author       = {Raphael A. Finkel and
                  Jon Louis Bentley},
  title        = {Quad Trees: {A} Data Structure for Retrieval on Composite Keys},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {1--9},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288933},
  doi          = {10.1007/BF00288933},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/FinkelB74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Gimpel74,
  author       = {James F. Gimpel},
  title        = {Nonlinear Pattern Theory},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {213--229},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288727},
  doi          = {10.1007/BF00288727},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Gimpel74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Guibas74,
  author       = {Leonidas J. Guibas},
  title        = {A Principle of Independence for Binary Tree Searching},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {293--298},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00289612},
  doi          = {10.1007/BF00289612},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Guibas74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Hotz74,
  author       = {G{\"{u}}nter Hotz},
  title        = {Sequentielle Analyse kontextfreier Sprachen},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {55--75},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288936},
  doi          = {10.1007/BF00288936},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Hotz74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/IbarraK74,
  author       = {Oscar H. Ibarra and
                  Chul E. Kim},
  title        = {On 3-Head Versus 2-Head Finite Automata},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {193--200},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288748},
  doi          = {10.1007/BF00288748},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/IbarraK74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/IgarashiLL74,
  author       = {Shigeru Igarashi and
                  Ralph L. London and
                  David C. Luckham},
  title        = {Automatic Program Verification {I:} {A} Logical Basis and its Implementation},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {145--182},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288746},
  doi          = {10.1007/BF00288746},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/IgarashiLL74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Khabbaz74,
  author       = {Nabil A. Khabbaz},
  title        = {Multipass Precedence Analysis},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {77--85},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288937},
  doi          = {10.1007/BF00288937},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Khabbaz74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LecarmeD74,
  author       = {Olivier Lecarme and
                  Pierre Desjardins},
  title        = {More Comments on the Programming Language Pascal},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {231--243},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288728},
  doi          = {10.1007/BF00288728},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LecarmeD74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Levy74,
  author       = {J.{-}P. L{\'{e}}vy},
  title        = {Automatic Correction of Syntax-Errors in Programming Languages},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {271--292},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288730},
  doi          = {10.1007/BF00288730},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Levy74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Newton74,
  author       = {Glen E. Newton},
  title        = {Proving Properties of Interacting Processes},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {117--126},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288744},
  doi          = {10.1007/BF00288744},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Newton74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Nielsen74,
  author       = {Mogens Nielsen},
  title        = {{EOL} Systems with Control Devices},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {373--386},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00289618},
  doi          = {10.1007/BF00289618},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Nielsen74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/NielsenRSS74a,
  author       = {Mogens Nielsen and
                  Grzegorz Rozenberg and
                  Arto Salomaa and
                  Sven Skyum},
  title        = {Nonterminals, Homomorphisms and Codings in Different Variations of
                  OL-Systems. I. Deterministic Systems},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {87--106},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288938},
  doi          = {10.1007/BF00288938},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/NielsenRSS74a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Paul74,
  author       = {Wolfgang J. Paul},
  title        = {Boolesche Minimalpolynome und {\"{U}}berdeckungsprobleme},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {321--336},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00289615},
  doi          = {10.1007/BF00289615},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Paul74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Rosen74,
  author       = {Barry K. Rosen},
  title        = {Deriving Graphs from Graphs by Applying a Production},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {337--357},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00289616},
  doi          = {10.1007/BF00289616},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Rosen74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Schuler74a,
  author       = {P. F. Schuler},
  title        = {WCS-Analysis of the Context-Sensitive},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {359--371},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00289617},
  doi          = {10.1007/BF00289617},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Schuler74a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/SpitzenW74,
  author       = {Jay M. Spitzen and
                  Ben Wegbreit},
  title        = {The Verification and Synthesis of Data Structures},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {127--144},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288745},
  doi          = {10.1007/BF00288745},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/SpitzenW74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Zislis74,
  author       = {Paul M. Zislis},
  title        = {Semantic Decomposition of Computer Programs: An Aid to Program Testing},
  journal      = {Acta Informatica},
  volume       = {4},
  pages        = {243--269},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF00288729},
  doi          = {10.1007/BF00288729},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Zislis74.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.