Vol. 4 No. 4 (1980)

Regular articles

• Ob asimptotičeskih ocenkah složnosti upravlâŝih sistem

  Oleg Borisovič Lupanov

  317-323

  • PDF (Русский)

• Enumeration of certain words

  K. H. Kim, Fred William Roush

  383-387

  • PDF

• On some extensions of indian parallel context free grammars

  Jürgen Dassow

  303-310

  • PDF

• Nondeterministic programming within the frame of first order classical logic : part 2

  Tamás Gergely, László Úry

  355-375

  • PDF

• Structure of program runs of non-standard time

  László Csirmaz

  325-331

  • PDF

• Groupoids of pseudoautomata

  F. Ferenci

  389-399

  • PDF

• O ventil'nyh shemah

  Oleg Borisovič Lupanov

  311-315

  • PDF (Русский)

• Completeness in non-simple and stable modal logics

  K. Tóth

  377-382

  • PDF

• Nondeterministic programming within the frame of first order classical logic : part 1

  Tamás Gergely, László Úry

  333-354

  • PDF