Vol. 3 No. 3 (1977)

Regular articles

• A note on data base integrity

  András Benczúr, András Krámli

  181-185

  • PDF

• An effective theorem proving algorithm

  Péter Ecsedi-Tóth, A. Varga

  249-260

  • PDF

• On some basic theoretical problems of fuzzy mathematics

  T. László Kóczy

  225-237

  • PDF

• On some open problems of applied automaton theory and graph theory : suggested by the mathematical modelling of certain neuronal networks

  András Ádám

  187-214

  • PDF

• Intercellas : an interactive cellular space simulation language

  Tamás Legendi

  261-267

  • PDF

• On the formal definition of VDL-objects

  I. Fekete, L. Varga

  239-248

  • PDF

• Topological analysis of linear systems

  Imre Pávó

  215-224

  • PDF