1980 share record
persistent URL:
L. Csirmaz : Structure of program runs of non-standard time. Acta Cybern. 4 (4 ) : 325-331 (1980 )share record
persistent URL:
Jürgen Dassow : On some extensions of Indian parallel context free grammars. Acta Cybern. 4 (4 ) : 303-310 (1980 )share record
persistent URL:
F. Ferenci : Groupoids of pseudoautomata. Acta Cybern. 4 (4 ) : 389-399 (1980 )export record
dblp key:
journals/actaC/GergelyU80 share record
persistent URL:
Tamás Gergely , László Úry : Nondeterministic programming within the frame of first order classical logic, Part 1. Acta Cybern. 4 (4 ) : 333-354 (1980 )export record
dblp key:
journals/actaC/GergelyU80a share record
persistent URL:
Tamás Gergely , László Úry : Nondeterministic programming within the frame of first order classical logic, Part 2. Acta Cybern. 4 (4 ) : 355-375 (1980 )share record
persistent URL:
Ki Hang Kim , Fred W. Roush : Enumeration of certain words. Acta Cybern. 4 (4 ) : 383-387 (1980 )share record
persistent URL:
K. Tóth : Completeness in non-simple and stable modal logics. Acta Cybern. 4 (4 ) : 377-382 (1980 )1979 share record
persistent URL:
A. Békéssy : Estimation of average length of search on random zero-one matrices. Acta Cybern. 4 (3 ) : 241-245 (1979 )export record
dblp key:
journals/actaC/Bruckner80 share record
persistent URL:
L. K. Bruckner : On the Garden-of-Eden problem for one-dimensional cellular automata. Acta Cybern. 4 (3 ) : 259-262 (1979 )share record
persistent URL:
M. K. Chirkov : On some types of incompletely specified automata. Acta Cybern. 4 (2 ) : 151-165 (1979 )export record
dblp key:
journals/actaC/Demetrovics80 share record
persistent URL:
János Demetrovics : On the equivalence of candidate keys with Sperner systems. Acta Cybern. 4 (3 ) : 247-252 (1979 )export record
dblp key:
journals/actaC/DemetrovicsH80 share record
persistent URL:
János Demetrovics , László Hannák : The cardinality of closed sets in pre-complete classes in k-valued logics. Acta Cybern. 4 (3 ) : 273-277 (1979 )export record
dblp key:
journals/actaC/Gidofalvy80 share record
persistent URL:
Z. Gidófalvy : A new statistical solution for the deadlock problem in resource management systems. Acta Cybern. 4 (3 ) : 253-258 (1979 )share record
persistent URL:
Hans-Dietrich O. F. Gronau : On Sperner families in which no 3 sets have an empty intersection. Acta Cybern. 4 (2 ) : 213-220 (1979 )share record
persistent URL:
Hans-Dietrich O. F. Gronau : Recognition of monotone functions. Acta Cybern. 4 (3 ) : 279-281 (1979 )share record
persistent URL:
F. Jólesz , M. Szilágyi : A possible new model of neurons and neural processes based on the quantum-mechanical theory of measurement. Acta Cybern. 4 (2 ) : 221-239 (1979 )share record
persistent URL:
Endre Katona : Linear parallel maps of tessellation automata. Acta Cybern. 4 (3 ) : 263-268 (1979 )share record
persistent URL:
Ki Hang Kim , Fred W. Roush : Schützenberger's monoids. Acta Cybern. 4 (3 ) : 269-272 (1979 )export record
dblp key:
journals/actaC/Laborczi80 share record
persistent URL:
Z. Laborczi : A note on deadlocks. Acta Cybern. 4 (2 ) : 179-184 (1979 )export record
dblp key:
journals/actaC/MoriczVE80 share record
persistent URL:
Ferenc Móricz , A. Varga , Péter Ecsedi-Tóth : A method for minimizing partially defined Boolean functions. Acta Cybern. 4 (3 ) : 283-290 (1979 )share record
persistent URL:
Joseph Sifakis : Use of Petri nets for performance evaluation. Acta Cybern. 4 (2 ) : 185-202 (1979 )share record
persistent URL:
K. Tóth : Modal logics with function symbols. Acta Cybern. 4 (3 ) : 291-302 (1979 )export record
dblp key:
journals/actaC/Vesztergombi80 share record
persistent URL:
Katalin Vesztergombi : Some remarks on the chromatic number of the strong product of graphs. Acta Cybern. 4 (2 ) : 207-212 (1979 )share record
persistent URL:
Z. Zachar : The solvability of the equivalence problem for deterministic frontier-to-root tree transducers. Acta Cybern. 4 (2 ) : 167-177 (1979 )share record
persistent URL:
Bohdan Zelinka : Strongly connected digraphs in which each edge is contained in exactly two cycles. Acta Cybern. 4 (2 ) : 203-205 (1979 )1978 export record
dblp key:
journals/actaC/AndrekaN80 share record
persistent URL:
Hajnal Andréka , István Németi : The generalized completeness of Horn predicate-logic as a programming language. Acta Cybern. 4 (1 ) : 3-10 (1978 )share record
persistent URL:
Michael A. Arbib , Ernest G. Manes : Tree transformations and the semantics of loop-free programs. Acta Cybern. 4 (1 ) : 11-17 (1978 )share record
persistent URL:
Andrei P. Ershov : Mixed computation in the class of recursive program schemata. Acta Cybern. 4 (1 ) : 19-23 (1978 )export record
dblp key:
journals/actaC/Gavrilov80 share record
persistent URL:
M. A. Gavrilov : Certain operations with the sets of discrete states. Acta Cybern. 4 (1 ) : 25-35 (1978 )share record
persistent URL:
Ferenc Gécseg , Magnus Steinby : Minimal ascending tree automata. Acta Cybern. 4 (1 ) : 37-44 (1978 )