The SCEAS System
Navigation Menu

Journals in DBLP

Acta Cybern.
1980, volume: 4, number:

  1. Hajnal Andréka, István Németi
    The generalized completeness of Horn predicate-logic as a programming language. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:3-10 [Journal]
  2. Michael A. Arbib, Ernest G. Manes
    Tree transformations and the semantics of loop-free programs. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:11-17 [Journal]
  3. Andrei P. Ershov
    Mixed computation in the class of recursive program schemata. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:19-23 [Journal]
  4. M. A. Gavrilov
    Certain operations with the sets of discrete states. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:25-35 [Journal]
  5. Ferenc Gécseg, Magnus Steinby
    Minimal ascending tree automata. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:37-44 [Journal]
  6. Tamás Gergely, Miklós Szöts
    On the incompleteness of proving partial correctness. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:45-57 [Journal]
  7. Gabor T. Herman, H. K. Liu
    A simple shading for computer displayed surfaces. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:59-64 [Journal]
  8. Günter Hotz
    Normal-form transformations of context-free grammars. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:65-84 [Journal]
  9. A. Iványi, I. Kátai
    Processing of random sequences with priority. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:85-101 [Journal]
  10. Helmut Jürgensen
    Über das Rechnen mit den Elementen abstrakt präsentierter Halbgruppen. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:103-115 [Journal]
  11. W. Kämmerer
    Zur Synthese von DOL-Systemen. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:117-121 [Journal]
  12. Marian Boykan Pour-El, I. Richards 0002
    Differentiability properties of computable functions - a summary. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:123-125 [Journal]
  13. Arto Salomaa
    Equality sets for homomorphisms of free monoid. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:127-139 [Journal]
  14. K. Schütte
    Ein Ansatz zum Entscheidungsverfahren für eine Formelklasse der Prädikatenlogick mit Identität. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:141-148 [Journal]
  15. M. K. Chirkov
    On some types of incompletely specified automata. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:151-165 [Journal]
  16. Z. Zachar
    The solvability of the equivalence problem for deterministic frontier-to-root tree transducers. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:167-177 [Journal]
  17. Z. Laborczi
    A note on deadlocks. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:179-184 [Journal]
  18. Joseph Sifakis
    Use of Petri nets for performance evaluation. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:185-202 [Journal]
  19. Bohdan Zelinka
    Strongly connected digraphs in which each edge is contained in exactly two cycles. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:203-205 [Journal]
  20. Katalin Vesztergombi
    Some remarks on the chromatic number of the strong product of graphs. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:207-212 [Journal]
  21. Hans-Dietrich O. F. Gronau
    On Sperner families in which no 3 sets have an empty intersection. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:213-220 [Journal]
  22. F. Jólesz, M. Szilágyi
    A possible new model of neurons and neural processes based on the quantum-mechanical theory of measurement. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:221-239 [Journal]
  23. A. Békéssy
    Estimation of average length of search on random zero-one matrices. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:241-245 [Journal]
  24. János Demetrovics
    On the equivalence of candidate keys with Sperner systems. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:247-252 [Journal]
  25. Z. Gidófalvy
    A new statistical solution for the deadlock problem in resource management systems. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:253-258 [Journal]
  26. L. K. Bruckner
    On the Garden-of-Eden problem for one-dimensional cellular automata. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:259-262 [Journal]
  27. Endre Katona
    Linear parallel maps of tessellation automata. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:263-268 [Journal]
  28. Ki Hang Kim, Fred W. Roush
    Schützenberger's monoids. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:269-272 [Journal]
  29. János Demetrovics, László Hannák
    The cardinality of closed sets in pre-complete classes in k-valued logic. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:273-277 [Journal]
  30. Hans-Dietrich O. F. Gronau
    Recognition of monotone functions. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:279-281 [Journal]
  31. F. Móricz, A. Varga, P. Ecsedi-Tóth
    A method for minimizing partially defined Boolean functions. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:283-290 [Journal]
  32. K. Tóth
    Modal logics with function symbols. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:291-302 [Journal]
  33. Jürgen Dassow
    On some extensions of Indian parallel context free grammars. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:303-310 [Journal]
  34. L. Csirmaz
    Structure of program runs of non-standard time. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:325-331 [Journal]
  35. K. Tóth
    Completeness in non-simple and stable modal logics. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:377-382 [Journal]
  36. Ki Hang Kim, Fred W. Roush
    Enumeration of certain words. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:383-387 [Journal]
  37. F. Ferenci
    Groupoids of pseudoautomata. [Citation Graph (0, 0)][DBLP]
    Acta Cybern., 1980, v:4, n:, pp:389-399 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002