default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/actaC/actaC4.bht:"
download as .bib file
@article{DBLP:journals/actaC/Csirmaz80,
author = {L. Csirmaz},
title = {Structure of program runs of non-standard time},
journal = {Acta Cybern.},
volume = {4},
number = {4},
pages = {325--331},
year = {1980},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3195},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Csirmaz80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Dassow80,
author = {J{\"{u}}rgen Dassow},
title = {On some extensions of Indian parallel context free grammars},
journal = {Acta Cybern.},
volume = {4},
number = {4},
pages = {303--310},
year = {1980},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3192},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Dassow80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Ferenci80,
author = {F. Ferenci},
title = {Groupoids of pseudoautomata},
journal = {Acta Cybern.},
volume = {4},
number = {4},
pages = {389--399},
year = {1980},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3200},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Ferenci80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/GergelyU80,
author = {Tam{\'{a}}s Gergely and
L{\'{a}}szl{\'{o}} {\'{U}}ry},
title = {Nondeterministic programming within the frame of first order classical
logic, Part 1},
journal = {Acta Cybern.},
volume = {4},
number = {4},
pages = {333--354},
year = {1980},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3196},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/GergelyU80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/GergelyU80a,
author = {Tam{\'{a}}s Gergely and
L{\'{a}}szl{\'{o}} {\'{U}}ry},
title = {Nondeterministic programming within the frame of first order classical
logic, Part 2},
journal = {Acta Cybern.},
volume = {4},
number = {4},
pages = {355--375},
year = {1980},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3197},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/GergelyU80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/KimR80a,
author = {Ki Hang Kim and
Fred W. Roush},
title = {Enumeration of certain words},
journal = {Acta Cybern.},
volume = {4},
number = {4},
pages = {383--387},
year = {1980},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3199},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/KimR80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Toth80a,
author = {K. T{\'{o}}th},
title = {Completeness in non-simple and stable modal logics},
journal = {Acta Cybern.},
volume = {4},
number = {4},
pages = {377--382},
year = {1980},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3198},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Toth80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Bekessy80,
author = {A. B{\'{e}}k{\'{e}}ssy},
title = {Estimation of average length of search on random zero-one matrices},
journal = {Acta Cybern.},
volume = {4},
number = {3},
pages = {241--245},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3182},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Bekessy80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Bruckner80,
author = {L. K. Bruckner},
title = {On the Garden-of-Eden problem for one-dimensional cellular automata},
journal = {Acta Cybern.},
volume = {4},
number = {3},
pages = {259--262},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3185},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Bruckner80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Chirkov80,
author = {M. K. Chirkov},
title = {On some types of incompletely specified automata},
journal = {Acta Cybern.},
volume = {4},
number = {2},
pages = {151--165},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3174},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Chirkov80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Demetrovics80,
author = {J{\'{a}}nos Demetrovics},
title = {On the equivalence of candidate keys with Sperner systems},
journal = {Acta Cybern.},
volume = {4},
number = {3},
pages = {247--252},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3183},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Demetrovics80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/DemetrovicsH80,
author = {J{\'{a}}nos Demetrovics and
L{\'{a}}szl{\'{o}} Hann{\'{a}}k},
title = {The cardinality of closed sets in pre-complete classes in k-valued
logics},
journal = {Acta Cybern.},
volume = {4},
number = {3},
pages = {273--277},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3188},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/DemetrovicsH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Gidofalvy80,
author = {Z. Gid{\'{o}}falvy},
title = {A new statistical solution for the deadlock problem in resource management
systems},
journal = {Acta Cybern.},
volume = {4},
number = {3},
pages = {253--258},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3184},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Gidofalvy80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Gronau80,
author = {Hans{-}Dietrich O. F. Gronau},
title = {On Sperner families in which no 3 sets have an empty intersection},
journal = {Acta Cybern.},
volume = {4},
number = {2},
pages = {213--220},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3180},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Gronau80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Gronau80a,
author = {Hans{-}Dietrich O. F. Gronau},
title = {Recognition of monotone functions},
journal = {Acta Cybern.},
volume = {4},
number = {3},
pages = {279--281},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3189},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Gronau80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/JoleszS80,
author = {F. J{\'{o}}lesz and
M. Szil{\'{a}}gyi},
title = {A possible new model of neurons and neural processes based on the
quantum-mechanical theory of measurement},
journal = {Acta Cybern.},
volume = {4},
number = {2},
pages = {221--239},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3181},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/JoleszS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Katona80,
author = {Endre Katona},
title = {Linear parallel maps of tessellation automata},
journal = {Acta Cybern.},
volume = {4},
number = {3},
pages = {263--268},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3186},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Katona80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/KimR80,
author = {Ki Hang Kim and
Fred W. Roush},
title = {Sch{\"{u}}tzenberger's monoids},
journal = {Acta Cybern.},
volume = {4},
number = {3},
pages = {269--272},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3187},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/KimR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Laborczi80,
author = {Z. Laborczi},
title = {A note on deadlocks},
journal = {Acta Cybern.},
volume = {4},
number = {2},
pages = {179--184},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3176},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Laborczi80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/MoriczVE80,
author = {Ferenc M{\'{o}}ricz and
A. Varga and
P{\'{e}}ter Ecsedi{-}T{\'{o}}th},
title = {A method for minimizing partially defined Boolean functions},
journal = {Acta Cybern.},
volume = {4},
number = {3},
pages = {283--290},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3190},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/MoriczVE80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Sifakis80,
author = {Joseph Sifakis},
title = {Use of Petri nets for performance evaluation},
journal = {Acta Cybern.},
volume = {4},
number = {2},
pages = {185--202},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3177},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Sifakis80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Toth80,
author = {K. T{\'{o}}th},
title = {Modal logics with function symbols},
journal = {Acta Cybern.},
volume = {4},
number = {3},
pages = {291--302},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3191},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Toth80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Vesztergombi80,
author = {Katalin Vesztergombi},
title = {Some remarks on the chromatic number of the strong product of graphs},
journal = {Acta Cybern.},
volume = {4},
number = {2},
pages = {207--212},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3179},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Vesztergombi80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Zachar80,
author = {Z. Zachar},
title = {The solvability of the equivalence problem for deterministic frontier-to-root
tree transducers},
journal = {Acta Cybern.},
volume = {4},
number = {2},
pages = {167--177},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3175},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Zachar80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Zelinka80,
author = {Bohdan Zelinka},
title = {Strongly connected digraphs in which each edge is contained in exactly
two cycles},
journal = {Acta Cybern.},
volume = {4},
number = {2},
pages = {203--205},
year = {1979},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3178},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Zelinka80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/AndrekaN80,
author = {Hajnal Andr{\'{e}}ka and
Istv{\'{a}}n N{\'{e}}meti},
title = {The generalized completeness of Horn predicate-logic as a programming
language},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {3--10},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3160},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/AndrekaN80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/ArbibM80,
author = {Michael A. Arbib and
Ernest G. Manes},
title = {Tree transformations and the semantics of loop-free programs},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {11--17},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3161},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/ArbibM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Ershov80,
author = {Andrei P. Ershov},
title = {Mixed computation in the class of recursive program schemata},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {19--23},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3162},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Ershov80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Gavrilov80,
author = {M. A. Gavrilov},
title = {Certain operations with the sets of discrete states},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {25--35},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3163},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Gavrilov80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/GecsegS80,
author = {Ferenc G{\'{e}}cseg and
Magnus Steinby},
title = {Minimal ascending tree automata},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {37--44},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3164},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/GecsegS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/GergelyS80,
author = {Tam{\'{a}}s Gergely and
Mikl{\'{o}}s Sz{\"{o}}ts},
title = {On the incompleteness of proving partial correctness},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {45--57},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3165},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/GergelyS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/HermanL80,
author = {Gabor T. Herman and
Hsun K. Liu},
title = {A simple shading for computer displayed surfaces},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {59--64},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3166},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/HermanL80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Hotz80,
author = {G{\"{u}}nter Hotz},
title = {Normal-form transformations of context-free grammars},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {65--84},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3167},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Hotz80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/IvanyiK80,
author = {Antal Iv{\'{a}}nyi and
Imre K{\'{a}}tai},
title = {Processing of random sequences with priority},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {85--101},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3168},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/IvanyiK80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Jurgensen80,
author = {Helmut J{\"{u}}rgensen},
title = {{\"{U}}ber das Rechnen mit den Elementen abstrakt pr{\"{a}}sentierter
Halbgruppen},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {103--115},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3169},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Jurgensen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Kammerer80,
author = {Wilhelm K{\"{a}}mmerer},
title = {Zur Synthese von DOL-Systemen},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {117--121},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3170},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Kammerer80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Pour-ElR80,
author = {Marian Boykan Pour{-}El and
I. Richards},
title = {Differentiability properties of computable functions - a summary},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {123--125},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3171},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Pour-ElR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Salomaa80,
author = {Arto Salomaa},
title = {Equality sets for homomorphisms of free monoids},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {127--139},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3172},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Salomaa80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/Schutte80,
author = {K. Sch{\"{u}}tte},
title = {Ein Ansatz zum Entscheidungsverfahren f{\"{u}}r eine Formelklasse
der Pr{\"{a}}dikatenlogik mit Identit{\"{a}}t},
journal = {Acta Cybern.},
volume = {4},
number = {1},
pages = {141--148},
year = {1978},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3173},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/Schutte80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-09-14 14:38 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:
