1988/21/1

Preface, Contents

Transition systems and concurrent processes

Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman

An operational semantics for process algebra

Construction of parallel programs with networks of cooperating processes

The complexity of classification problems

Fairness and control

Closed sets of universal Horn formulas for many-sorted (partial) algebras

Fairness for synchronous fork-join nets

An axiomatic theory of information trees

Coalgebraic decision theory

How to treat decision problems by different programming methodologies

A note on the minimalization of tree-automata

Synchronous parallelizations of serial computer programs

Categorical equivalences of varieties generated by algebras ${\displaystyle \{\ge rmA\}}$ and ${\displaystyle {\{\ge rmA\}}^r}$

The second machine class 2, an encyclopedic view on the parallel computation thesis

Functional compiler description

Elementary properties of the class of nondeterministic polynomial time computable functions

Square-free and overlap-free words

Finite and infinite computations of logic programs

Effective constructions of grammars

Kripke models with relative accessibility and their applications to inferences from incomplete information

The extent to which linear problems have linear optimal algorithms

Deriving programs using higher-order generalization

On equations of clones

On the use of homomorphisms for proving the equivalence of some programs

On some arithmetically expressible properties of programs

Finite categories and regular languages

Safety- and liveness-properties in propositional temporal logic: characterizations and decidability

Propositional dynamic logic with recursive programs

Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA

Iterative nondeterministic algebras

More about the closure of NP

Information-based complexity and operator equations

О сложности приближенного вычисления непрерывных функций

О глубине булевых функций, реализуемых контактными схемами заданной сложности

Об одном подходе к оценке пространственной сложности схем из функциональных элементов

Оценка числа представительных наборов для одного класса бинарных таблиц

О соотношении глубины детерминированных и недетерминированных бесконтурных программ в базисе {х + у, х — у, 1; signx}

Линейные нижние оценки сложности и их математические модели

Об эффективных нижних оценках сложности реализации функций в различных классах управляющих систем с ограничением на структуру схем

Понятие полного расширения функции частично определенной логической сети и его применение в диагностике дискретных устройств

О реализации булевских функций плоскими и объемными схемами из функциональных элементов

Метод разрешения семантических свойств алгоритмов