Vol. 9 No. 4 (1990)

Regular articles

• A note on axiomatizing flowchart schemes

  Virgil Emil Căzănescu, Gheorghe Ştefănescu

  349-359

  • PDF

• The complexity of a counting finite state automaton

  Craig A. Rich, Giora Slutzki

  403-417

  • PDF

• A note on the axiomatization of iteration theories

  Zoltán Ésik

  375-384

  • PDF

• On the multidimensional vector bin packing

  János Csirik, J. B. G. Frenk, M. Labbe, S. Zhang

  361-369

  • PDF

• Decision problems arising from knapsack transformations

  Arto Salomaa

  419-440

  • PDF

• Recognizable sets of finite bilabelled transition systems

  André Arnold

  333-347

  • PDF

• Investigations on Armstrong relations, dependency inference, and excluded functional dependencies

  Georg Gottlob, Leonid O. Libkin

  385-402

  • PDF

• Product hierarchies of automata and homomorphic simulation

  Pál Dömösi, Zoltán Ésik

  371-373

  • PDF

• Preserving two-tuple dependencies under projection

  Bernhard Thalheim, Sabah S. Al-Fedaghi

  441-458

  • PDF