Fundamenta Informaticae, Volume 4

Volume 4, Number 1, 1981

Vincenzo Manca: Computational formalism: abstract combinatory view-point and related first order logical framework. 3-18 BibTeX
R. Danecki: Multiple regularity and binary ETOL-systems. 19-34 BibTeX
Tomasz Müldner: On the semantics of parallel programs. 35-82 BibTeX
Giorgio Ausiello, Alessandro D'Atri, Marco Protasi: Lattice theoretic ordering properties for NP-complete optimization problems. 83-94 BibTeX
Tomasz Müldner: On the synchronizing tools for parallel programs. 95-134 BibTeX
Jürgen Albert, Hermann A. Maurer, Thomas Ottmann: On subregular OL forms. 135-150 BibTeX
Pierangelo Miglioli, Mario Ornaghi: A logically justified model of computation I. 151-172 BibTeX
T. R. M. Fischer: On universal binary search trees. 173-184 BibTeX
Gheorghe Paun: On eliminating the lambda-rules from simple matrix grammars. 185-196 BibTeX
Grzegorz Rozenberg, Dirk Vermeir: A hierarchy of ETOL languages with rank. 197- BibTeX

Tomasz Müldner: On the compilation of parallel programs. 207-244 BibTeX
Cristian Calude, Gheorghe Paun: Global syntax and semantics for recursively enumerable languages. 245-254 BibTeX
Tomasz Müldner: Implementation and propertives of certain tools for parallel computations. 255-276 BibTeX
Pierangelo Miglioli, Mario Ornaghi: A logically justified model of computation II. 277-342 BibTeX
W. Przyluski: APC: the algorithmic predicate calculus. 343-368 BibTeX
Keijo Ruohonen: On a variant of a method of Berstel's and Nielsen's. 369-400 BibTeX
Dirk Vermeir, Walter J. Savitch: On the amount of non-determinism in pushdown in pushdown automata. 401-418 BibTeX
Miroslaw Truszczynski: Algorithmic aspects of the attribute set minimization problem. 419-426 BibTeX
J. Grabowski: On partial languages. 427- BibTeX

M. Mrozek: Generalized inverse of a finite graph. 499-510 BibTeX
P. Rudnicki, A. Trybulec: A remark on the syntactic partition. 511-516 BibTeX
H. J. M. Goeman: The arbiter: an active system component for implementing synchronizing primitives. 517-530 BibTeX
Miklos Szijarto: A classification and closure properties of languages for describing concurrent system behaviours. 531-550 BibTeX
Zbigniew W. Ras: Information retrieval systems, an algebraic approach I. 551-604 BibTeX
Wiktor Danko: A Criterion of Undecidability of Algorithmic Theories. 605-628 BibTeX
Jerzy Tiuryn: Logic of effective definitions. 629-660 BibTeX
Jan A. Bergstra, Jerzy Tiuryn: Logic of effective definitions. 661-674 BibTeX
Grazyna Mirkowska: PAL - propositional algorithmic logic. 675- BibTeX

Anton Nijholt: A survey of normal form covers for regular grammars. 761-776 BibTeX
Zbigniew W. Ras: Information retrieval systems, an algebraic approach II. 777-818 BibTeX
Pawel Urzyczyn: Algorithmic triviality of abstract structures. 819-850 BibTeX
Jan A. Bergstra, Jerzy Tiuryn: Algorithmic degrees of algebraic structures. 851-862 BibTeX
S. Janicki: Nonhomogeneous stochastic automata. 891-918 BibTeX
Petr Hájek, P. Kurka: A second-order dynamic logic with array assignments. 919-934 BibTeX
Jan A. Bergstra, John-Jules Ch. Meyer: On the quantifier-free fragment of 'Logic of effective definitions'. 935-956 BibTeX
Jean Marcel Pallo: Word problem in distributed magmas. 957-974 BibTeX
Andrzej Szalas: Algorithmic logic with recursive functions. 975-996 BibTeX
Jan A. Bergstra, Jerzy Tiuryn: Regular extensions of iterative algebras and metric interpretations. 997-1014 BibTeX
J. Gould: Automata in random environments. 1015-1040 BibTeX
M. Novotny: On sequents defined by means of information systems. 1041- BibTeX