![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/acta/acta5.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.