Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/acta/acta27.bht:"
download as .bib file
@article{DBLP:journals/acta/BackW89,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Duality in Specification Languages: {A} Lattice-Theoretical Approach},
journal = {Acta Informatica},
volume = {27},
number = {7},
pages = {583--625},
year = {1990},
url = {https://doi.org/10.1007/BF00259469},
doi = {10.1007/BF00259469},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BackW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Bauer89,
author = {Friedrich L. Bauer},
title = {In Memoriam: Andrei Petrovich Ershov},
journal = {Acta Informatica},
volume = {27},
number = {3},
pages = {193--194},
year = {1990},
url = {https://doi.org/10.1007/BF00572987},
doi = {10.1007/BF00572987},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Bauer89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BermanPR89,
author = {A. Michael Berman and
Marvin C. Paull and
Barbara G. Ryder},
title = {Proving Relative Lower Bounds for Incremental Algorithms},
journal = {Acta Informatica},
volume = {27},
number = {7},
pages = {665--683},
year = {1990},
url = {https://doi.org/10.1007/BF00259471},
doi = {10.1007/BF00259471},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BermanPR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Cleaveland89,
author = {Rance Cleaveland},
title = {Tableau-Based Model Checking in the Propositional Mu-Calculus},
journal = {Acta Informatica},
volume = {27},
number = {8},
pages = {725--747},
year = {1990},
url = {https://doi.org/10.1007/BF00264284},
doi = {10.1007/BF00264284},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Cleaveland89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EhrenfeuchtR89,
author = {Andrzej Ehrenfeucht and
Grzegorz Rozenberg},
title = {Partial (Set) 2-Structures. Part {I:} Basic Notions and the Representation
Problem},
journal = {Acta Informatica},
volume = {27},
number = {4},
pages = {315--342},
year = {1990},
url = {https://doi.org/10.1007/BF00264611},
doi = {10.1007/BF00264611},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EhrenfeuchtR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EhrenfeuchtR89a,
author = {Andrzej Ehrenfeucht and
Grzegorz Rozenberg},
title = {Partial (Set) 2-Structures. Part {II:} State Spaces of Concurrent
Systems},
journal = {Acta Informatica},
volume = {27},
number = {4},
pages = {343--368},
year = {1990},
url = {https://doi.org/10.1007/BF00264612},
doi = {10.1007/BF00264612},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EhrenfeuchtR89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EngelfrietJ89,
author = {Joost Engelfriet and
Willem de Jong},
title = {Attribute Storage Optimization by Stacks},
journal = {Acta Informatica},
volume = {27},
number = {6},
pages = {567--581},
year = {1990},
url = {https://doi.org/10.1007/BF00277390},
doi = {10.1007/BF00277390},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EngelfrietJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GelenbeH89,
author = {Erol Gelenbe and
Marisela Hern{\'{a}}ndez},
title = {Optimum Checkpoints with Age Dependent Failures},
journal = {Acta Informatica},
volume = {27},
number = {6},
pages = {519--531},
year = {1990},
url = {https://doi.org/10.1007/BF00277388},
doi = {10.1007/BF00277388},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GelenbeH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GoudaHR89,
author = {Mohamed G. Gouda and
Rodney R. Howell and
Louis E. Rosier},
title = {The Instability of Self-Stabilization},
journal = {Acta Informatica},
volume = {27},
number = {8},
pages = {697--724},
year = {1990},
url = {https://doi.org/10.1007/BF00264283},
doi = {10.1007/BF00264283},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GoudaHR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Kou89,
author = {Lawrence T. Kou},
title = {On Efficient Implementation of an Approximation Algorithm for the
Steiner Tree Problem},
journal = {Acta Informatica},
volume = {27},
number = {4},
pages = {369--380},
year = {1990},
url = {https://doi.org/10.1007/BF00264613},
doi = {10.1007/BF00264613},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Kou89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KouvatsosT89,
author = {Demetres D. Kouvatsos and
Nasreddine Tabet{-}Aouel},
title = {A Maximum Entropy Priority Approximation for a Stable \emph{ {G/G/}
} 1 Queue},
journal = {Acta Informatica},
volume = {27},
number = {3},
pages = {247--286},
year = {1990},
url = {https://doi.org/10.1007/BF00572990},
doi = {10.1007/BF00572990},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KouvatsosT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Lautemann89,
author = {Clemens Lautemann},
title = {The Complexity of Graph Languages Generated by Hyperedge Replacement},
journal = {Acta Informatica},
volume = {27},
number = {5},
pages = {399--421},
year = {1990},
url = {https://doi.org/10.1007/BF00289017},
doi = {10.1007/BF00289017},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Lautemann89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Meduna89,
author = {Alexander Meduna},
title = {Context Free Derivations on Word Monoids},
journal = {Acta Informatica},
volume = {27},
number = {8},
pages = {781--786},
year = {1990},
url = {https://doi.org/10.1007/BF00264286},
doi = {10.1007/BF00264286},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/Meduna89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MeyerO89,
author = {John{-}Jules Ch. Meyer and
Ernst{-}R{\"{u}}diger Olderog},
title = {Hiding in Stream Semantics of Uniform Concurrency},
journal = {Acta Informatica},
volume = {27},
number = {5},
pages = {381--397},
year = {1990},
url = {https://doi.org/10.1007/BF00289016},
doi = {10.1007/BF00289016},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MeyerO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MorganG89,
author = {Carroll Morgan and
Paul H. B. Gardiner},
title = {Data Refinement by Calculation},
journal = {Acta Informatica},
volume = {27},
number = {6},
pages = {481--503},
year = {1990},
url = {https://doi.org/10.1007/BF00277386},
doi = {10.1007/BF00277386},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/MorganG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Morris89a,
author = {Joseph M. Morris},
title = {Temporal Predicat Transformers and Fair Termination},
journal = {Acta Informatica},
volume = {27},
number = {4},
pages = {287--313},
year = {1990},
url = {https://doi.org/10.1007/BF00264610},
doi = {10.1007/BF00264610},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Morris89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/OvermarsSBK89,
author = {Mark H. Overmars and
Michiel H. M. Smid and
Mark de Berg and
Marc J. van Kreveld},
title = {Maintaining Range Trees in Secondary Memory. Part {I:} Partitions},
journal = {Acta Informatica},
volume = {27},
number = {5},
pages = {423--452},
year = {1990},
url = {https://doi.org/10.1007/BF00289018},
doi = {10.1007/BF00289018},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/OvermarsSBK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Salzberg89,
author = {Betty Salzberg},
title = {Merging Sorted Runs Using Large Main Memory},
journal = {Acta Informatica},
volume = {27},
number = {3},
pages = {195--215},
year = {1990},
url = {https://doi.org/10.1007/BF00572988},
doi = {10.1007/BF00572988},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Salzberg89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SchmidtBZ89,
author = {Gunther Schmidt and
Rudolf Berghammer and
Hans Zierer},
title = {Describing Semantic Domains with Sprouts},
journal = {Acta Informatica},
volume = {27},
number = {3},
pages = {217--245},
year = {1990},
url = {https://doi.org/10.1007/BF00572989},
doi = {10.1007/BF00572989},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SchmidtBZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SmidO89,
author = {Michiel H. M. Smid and
Mark H. Overmars},
title = {Maintaining Range Trees in Secondary Memory. Part {II:} Lower Bounds},
journal = {Acta Informatica},
volume = {27},
number = {5},
pages = {453--480},
year = {1990},
url = {https://doi.org/10.1007/BF00289019},
doi = {10.1007/BF00289019},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SmidO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SondergaardS89,
author = {Harald S{\o}ndergaard and
Peter Sestoft},
title = {Referential Transparency, Definiteness and Unfoldability},
journal = {Acta Informatica},
volume = {27},
number = {6},
pages = {505--517},
year = {1990},
url = {https://doi.org/10.1007/BF00277387},
doi = {10.1007/BF00277387},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SondergaardS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Taubner89,
author = {Dirk Taubner},
title = {Representing {CCS} Programs by Finite Predicate/Transition Nets},
journal = {Acta Informatica},
volume = {27},
number = {6},
pages = {533--565},
year = {1990},
url = {https://doi.org/10.1007/BF00277389},
doi = {10.1007/BF00277389},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Taubner89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Turski89,
author = {Wladyslaw M. Turski},
title = {On Specification of Multiprocessor Computing},
journal = {Acta Informatica},
volume = {27},
number = {8},
pages = {685--696},
year = {1990},
url = {https://doi.org/10.1007/BF00264282},
doi = {10.1007/BF00264282},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Turski89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Weber89,
author = {Andreas Weber},
title = {On the Valuedness of Finite Transducers},
journal = {Acta Informatica},
volume = {27},
number = {8},
pages = {749--780},
year = {1990},
url = {https://doi.org/10.1007/BF00264285},
doi = {10.1007/BF00264285},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Weber89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/YuR89,
author = {Lin Yu and
Daniel J. Rosenkrantz},
title = {Minimizing Time-Space Cost for Database Version Control},
journal = {Acta Informatica},
volume = {27},
number = {7},
pages = {627--663},
year = {1990},
url = {https://doi.org/10.1007/BF00259470},
doi = {10.1007/BF00259470},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/YuR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Alblas89,
author = {Henk Alblas},
title = {Iteration of Transformation Passes over Attributed Program Trees},
journal = {Acta Informatica},
volume = {27},
number = {1},
pages = {1--40},
year = {1989},
url = {https://doi.org/10.1007/BF00263499},
doi = {10.1007/BF00263499},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Alblas89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CulikK89,
author = {Karel Cul{\'{\i}}k II and
Juhani Karhum{\"{a}}ki},
title = {{HDTOL} Matching of Computations of Multitape Automata},
journal = {Acta Informatica},
volume = {27},
number = {2},
pages = {179--191},
year = {1989},
url = {https://doi.org/10.1007/BF00265153},
doi = {10.1007/BF00265153},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/CulikK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GonczarowskiW89,
author = {Jakob Gonczarowski and
Manfred K. Warmuth},
title = {Scattered Versus Context-Sensitive Rewriting},
journal = {Acta Informatica},
volume = {27},
number = {1},
pages = {81--95},
year = {1989},
url = {https://doi.org/10.1007/BF00263503},
doi = {10.1007/BF00263503},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GonczarowskiW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HuangL89a,
author = {Chua{-}Huang Huang and
Christian Lengauer},
title = {An Incremental Mechanical Development of Systolic Solutions to the
Algebraic Path Problem},
journal = {Acta Informatica},
volume = {27},
number = {2},
pages = {97--124},
year = {1989},
url = {https://doi.org/10.1007/BF00265150},
doi = {10.1007/BF00265150},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/HuangL89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LangenhopW89,
author = {Carl Langenhop and
William E. Wright},
title = {A Model of the Dynamic Behavior of B-Trees},
journal = {Acta Informatica},
volume = {27},
number = {1},
pages = {41--59},
year = {1989},
url = {https://doi.org/10.1007/BF00263500},
doi = {10.1007/BF00263500},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LangenhopW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Lau89,
author = {Kung{-}Kiu Lau},
title = {A Note on Synthesis and Classification of Sorting Algorithms},
journal = {Acta Informatica},
volume = {27},
number = {1},
pages = {73--80},
year = {1989},
url = {https://doi.org/10.1007/BF00263502},
doi = {10.1007/BF00263502},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Lau89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Rego89,
author = {Vernon Rego},
title = {Some Efficient Computational Algorithms Related to Phase Models},
journal = {Acta Informatica},
volume = {27},
number = {2},
pages = {157--177},
year = {1989},
url = {https://doi.org/10.1007/BF00265152},
doi = {10.1007/BF00265152},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Rego89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/RuzickaP89,
author = {Peter Ruzicka and
Igor Pr{\'{\i}}vara},
title = {An Almost Linear Robinson Unification Algorithm},
journal = {Acta Informatica},
volume = {27},
number = {1},
pages = {61--71},
year = {1989},
url = {https://doi.org/10.1007/BF00263501},
doi = {10.1007/BF00263501},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/RuzickaP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/TaubnerV89,
author = {Dirk Taubner and
Walter Vogler},
title = {Step Failures Semantics and a Complete Proof System},
journal = {Acta Informatica},
volume = {27},
number = {2},
pages = {125--156},
year = {1989},
url = {https://doi.org/10.1007/BF00265151},
doi = {10.1007/BF00265151},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/TaubnerV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-05 01:31 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
