Search dblp for Publications

• > Home > Search

@article{DBLP:journals/acta/Deussen75,
  author       = {Peter Deussen},
  title        = {A Decidability Criterion for van Wijngaarden Grammars},
  journal      = {Acta Informatica},
  volume       = {5},
  pages        = {353--375},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00264566},
  doi          = {10.1007/BF00264566},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Deussen75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GiloiES75,
  author       = {Wolfgang K. Giloi and
                  Jos{\'{e}} L. Encarna{\c{c}}{\~{a}}o and
                  S. Savitt},
  title        = {Interactaive Graphics on Intelligent Terminals in a Time-Sharing Environment},
  journal      = {Acta Informatica},
  volume       = {5},
  pages        = {257--271},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00264561},
  doi          = {10.1007/BF00264561},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GiloiES75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/GinsburgS75,
  author       = {Seymour Ginsburg and
                  Edwin H. Spanier},
  title        = {Substitution of Grammar Forms},
  journal      = {Acta Informatica},
  volume       = {5},
  pages        = {377--386},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00264567},
  doi          = {10.1007/BF00264567},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/GinsburgS75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/KatzM75,
  author       = {Shmuel Katz and
                  Zohar Manna},
  title        = {A Closer Look at Termination},
  journal      = {Acta Informatica},
  volume       = {5},
  pages        = {333--352},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00264565},
  doi          = {10.1007/BF00264565},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/KatzM75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/LauerC75,
  author       = {Peter E. Lauer and
                  Roy H. Campbell},
  title        = {Formal Semantics of a Class of High-Level Primitives for Coordinating
                  Concurrent Processes},
  journal      = {Acta Informatica},
  volume       = {5},
  pages        = {297--332},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00264564},
  doi          = {10.1007/BF00264564},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/LauerC75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Mehlhorn75,
  author       = {Kurt Mehlhorn},
  title        = {Nearly Optimal Binary Search Trees},
  journal      = {Acta Informatica},
  volume       = {5},
  pages        = {287--295},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00264563},
  doi          = {10.1007/BF00264563},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Mehlhorn75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Nehmer75,
  author       = {J{\"{u}}rgen Nehmer},
  title        = {Dispatcher Primitives for the Construction of Operating System Kernels},
  journal      = {Acta Informatica},
  volume       = {5},
  pages        = {237--255},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00264560},
  doi          = {10.1007/BF00264560},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Nehmer75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Rice75,
  author       = {John R. Rice},
  title        = {Parallel Algorithms for Adaptive Quadrature {II} Metalgorithm Correctness},
  journal      = {Acta Informatica},
  volume       = {5},
  pages        = {273--285},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00264562},
  doi          = {10.1007/BF00264562},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Rice75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Schuler75,
  author       = {P. F. Schuler},
  title        = {A Note on Degrees of Context-Sensitivity},
  journal      = {Acta Informatica},
  volume       = {5},
  pages        = {387--394},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00264568},
  doi          = {10.1007/BF00264568},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Schuler75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/WijngaardenMPKSLMF75,
  author       = {Adriaan van Wijngaarden and
                  Barry J. Mailloux and
                  John E. L. Peck and
                  Cornelis H. A. Koster and
                  Michel Sintzoff and
                  Charles H. Lindsey and
                  Lambert G. L. T. Meertens and
                  R. G. Fisker},
  title        = {Revised Report on the Algorithmic Language {ALGOL} 68},
  journal      = {Acta Informatica},
  volume       = {5},
  pages        = {1--236},
  year         = {1975},
  url          = {https://doi.org/10.1007/BF00265077},
  doi          = {10.1007/BF00265077},
  timestamp    = {Sun, 28 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/WijngaardenMPKSLMF75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}