![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/acta/acta17.bht:"
@article{DBLP:journals/acta/Arnold82, author = {Andr{\'{e}} Arnold}, title = {Synchronized Behaviours of Processes and Rational Relations}, journal = {Acta Informatica}, volume = {17}, pages = {21--29}, year = {1982}, url = {https://doi.org/10.1007/BF00262973}, doi = {10.1007/BF00262973}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Arnold82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/AsveldT82, author = {Peter R. J. Asveld and John V. Tucker}, title = {Complexity Theory and the Operational Structure of Algebraic Programming Systems}, journal = {Acta Informatica}, volume = {17}, pages = {451--476}, year = {1982}, url = {https://doi.org/10.1007/BF00264163}, doi = {10.1007/BF00264163}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/AsveldT82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/AutebertBB82, author = {Jean{-}Michel Autebert and Joffroy Beauquier and Luc Boasson}, title = {Formes de langages et de grammaires}, journal = {Acta Informatica}, volume = {17}, pages = {193--213}, year = {1982}, url = {https://doi.org/10.1007/BF00288970}, doi = {10.1007/BF00288970}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/AutebertBB82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/BaccelliF82, author = {Fran{\c{c}}ois Baccelli and Thierry Fleury}, title = {On Parsing Arithmetic Expressions in a Multiprocessing Environment}, journal = {Acta Informatica}, volume = {17}, pages = {287--310}, year = {1982}, url = {https://doi.org/10.1007/BF00264355}, doi = {10.1007/BF00264355}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/BaccelliF82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Blum82, author = {Norbert Blum}, title = {On the Power of Chain Rules in Context Free Grammars}, journal = {Acta Informatica}, volume = {17}, pages = {425--433}, year = {1982}, url = {https://doi.org/10.1007/BF00264161}, doi = {10.1007/BF00264161}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Blum82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Cristian82, author = {Flaviu Cristian}, title = {Robust Data Types}, journal = {Acta Informatica}, volume = {17}, pages = {365--397}, year = {1982}, url = {https://doi.org/10.1007/BF00264158}, doi = {10.1007/BF00264158}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Cristian82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/DemersKR82, author = {Alan J. Demers and C. Keleman and Bernd Reusch}, title = {On Some Decidable Properties of Finite State Translations}, journal = {Acta Informatica}, volume = {17}, pages = {349--364}, year = {1982}, url = {https://doi.org/10.1007/BF00264358}, doi = {10.1007/BF00264358}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/DemersKR82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Doberkat82, author = {Ernst{-}Erich Doberkat}, title = {Deleting the Root of a Heap}, journal = {Acta Informatica}, volume = {17}, pages = {245--265}, year = {1982}, url = {https://doi.org/10.1007/BF00264353}, doi = {10.1007/BF00264353}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Doberkat82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/GergelyU82, author = {Tam{\'{a}}s Gergely and L{\'{a}}szl{\'{o}} {\'{U}}ry}, title = {A Theory of Interactive Programming}, journal = {Acta Informatica}, volume = {17}, pages = {1--20}, year = {1982}, url = {https://doi.org/10.1007/BF00262972}, doi = {10.1007/BF00262972}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/GergelyU82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/HuddlestonM82, author = {Scott Huddleston and Kurt Mehlhorn}, title = {A New Data Structure for Representing Sorted Lists}, journal = {Acta Informatica}, volume = {17}, pages = {157--184}, year = {1982}, url = {https://doi.org/10.1007/BF00288968}, doi = {10.1007/BF00288968}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/HuddlestonM82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Huwig82, author = {Hagen Huwig}, title = {Ein Modell des \emph{P=NP} -Problems mit einer positiven L{\"{o}}sung}, journal = {Acta Informatica}, volume = {17}, pages = {221--243}, year = {1982}, url = {https://doi.org/10.1007/BF00288972}, doi = {10.1007/BF00288972}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Huwig82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Huynh82, author = {Thiet{-}Dung Huynh}, title = {Remarks on the Complexity of an Invariant of Context-Free Grammars}, journal = {Acta Informatica}, volume = {17}, pages = {89--99}, year = {1982}, url = {https://doi.org/10.1007/BF00262978}, doi = {10.1007/BF00262978}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Huynh82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/ItaiR82, author = {Alon Itai and Michael Rodeh}, title = {Representation of Graphs}, journal = {Acta Informatica}, volume = {17}, pages = {215--219}, year = {1982}, url = {https://doi.org/10.1007/BF00288971}, doi = {10.1007/BF00288971}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/ItaiR82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/JajaS82, author = {Joseph F. J{\'{a}}J{\'{a}} and Janos Simon}, title = {Space Efficient Algorithms for Some Graph Theoretical Problems}, journal = {Acta Informatica}, volume = {17}, pages = {411--423}, year = {1982}, url = {https://doi.org/10.1007/BF00264160}, doi = {10.1007/BF00264160}, timestamp = {Fri, 02 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/JajaS82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Kessels82, author = {Joep L. W. Kessels}, title = {Arbitration Without Common Modifiable Variables}, journal = {Acta Informatica}, volume = {17}, pages = {135--141}, year = {1982}, url = {https://doi.org/10.1007/BF00288966}, doi = {10.1007/BF00288966}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Kessels82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/LeungC82, author = {Clement H. C. Leung and Qui Hoon Choo}, title = {The Effect of Fixed-Length Record Implementation on File System Response}, journal = {Acta Informatica}, volume = {17}, pages = {399--409}, year = {1982}, url = {https://doi.org/10.1007/BF00264159}, doi = {10.1007/BF00264159}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/LeungC82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/LiuLL82, author = {C. L. Liu and Jane W.{-}S. Liu and Arthur L. Liestman}, title = {Scheduling with Slack Time}, journal = {Acta Informatica}, volume = {17}, pages = {31--41}, year = {1982}, url = {https://doi.org/10.1007/BF00262974}, doi = {10.1007/BF00262974}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/LiuLL82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Martinez82, author = {Michel Martinez}, title = {Program Behavior Prediction and Prepaging}, journal = {Acta Informatica}, volume = {17}, pages = {101--120}, year = {1982}, url = {https://doi.org/10.1007/BF00262979}, doi = {10.1007/BF00262979}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Martinez82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Miyano82, author = {Satoru Miyano}, title = {A Hierarchy Theorem for Multihead Stack-Counter Automata}, journal = {Acta Informatica}, volume = {17}, pages = {63--67}, year = {1982}, url = {https://doi.org/10.1007/BF00262976}, doi = {10.1007/BF00262976}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Miyano82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/OvermarsL82, author = {Mark H. Overmars and Jan van Leeuwen}, title = {Dynamic Multi-Dimensional Data Structures Based on Quad- and \emph{ {K} - {D} } Trees}, journal = {Acta Informatica}, volume = {17}, pages = {267--285}, year = {1982}, url = {https://doi.org/10.1007/BF00264354}, doi = {10.1007/BF00264354}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/OvermarsL82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Pritchard82, author = {Paul Pritchard}, title = {Explaining the Wheel Sieve}, journal = {Acta Informatica}, volume = {17}, pages = {477--485}, year = {1982}, url = {https://doi.org/10.1007/BF00264164}, doi = {10.1007/BF00264164}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Pritchard82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Rabin82, author = {Michael O. Rabin}, title = {The Choice Coordination Problem}, journal = {Acta Informatica}, volume = {17}, pages = {121--134}, year = {1982}, url = {https://doi.org/10.1007/BF00288965}, doi = {10.1007/BF00288965}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Rabin82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/RaihaS82, author = {Kari{-}Jouko R{\"{a}}ih{\"{a}} and Mikko Saarinen}, title = {Testing Attribute Grammars for Circularity}, journal = {Acta Informatica}, volume = {17}, pages = {185--192}, year = {1982}, url = {https://doi.org/10.1007/BF00288969}, doi = {10.1007/BF00288969}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/RaihaS82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/RozenbergV82, author = {Grzegorz Rozenberg and R. Verraedt}, title = {Completeness of \emph{ {E} } 0 \emph{ {L} } Forms is Decidable}, journal = {Acta Informatica}, volume = {17}, pages = {69--87}, year = {1982}, url = {https://doi.org/10.1007/BF00262977}, doi = {10.1007/BF00262977}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/RozenbergV82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Shore82, author = {John E. Shore}, title = {Information Theoretic Approximations for \emph{ {M/G/} } 1 und \emph{ {G/G/} } 1 Queuing Systems}, journal = {Acta Informatica}, volume = {17}, pages = {43--61}, year = {1982}, url = {https://doi.org/10.1007/BF00262975}, doi = {10.1007/BF00262975}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Shore82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Snyder82, author = {Lawrence Snyder}, title = {Recognition and Selection of Idioms for Code Optimization}, journal = {Acta Informatica}, volume = {17}, pages = {327--348}, year = {1982}, url = {https://doi.org/10.1007/BF00264357}, doi = {10.1007/BF00264357}, timestamp = {Mon, 29 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Snyder82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Soisalon-SoininenW82, author = {Eljas Soisalon{-}Soininen and Derick Wood}, title = {On a Covering Relation for Context-Free Grammars}, journal = {Acta Informatica}, volume = {17}, pages = {435--449}, year = {1982}, url = {https://doi.org/10.1007/BF00264162}, doi = {10.1007/BF00264162}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Soisalon-SoininenW82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Staphylopatis82, author = {Andreas Staphylopatis}, title = {Performance Considerations in the Parallel Execution of Numerical Algorithms on two Processors}, journal = {Acta Informatica}, volume = {17}, pages = {311--325}, year = {1982}, url = {https://doi.org/10.1007/BF00264356}, doi = {10.1007/BF00264356}, timestamp = {Fri, 30 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Staphylopatis82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Vasudevan82, author = {Sridhar Vasudevan}, title = {Inner Loops in Flowgraphs and Code Optimization}, journal = {Acta Informatica}, volume = {17}, pages = {143--155}, year = {1982}, url = {https://doi.org/10.1007/BF00288967}, doi = {10.1007/BF00288967}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Vasudevan82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.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.