Banach Center Publications - Tom 21, Numer 1 (1988) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

Institute of Mathematics Polish Academy of Sciences

Czasopismo

Banach Center Publications

Rocznik

1988

Tom

21

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: Preface, Contents (Mirkowska G., Rasiowa H.), s. 1-8
- artykuł: Transition systems and concurrent processes (Arnold A.), s. 9-20
- artykuł: Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman (Asperti A., Longo G.), s. 21-45
- artykuł: An operational semantics for process algebra (Baeten J. C. M., Bergstra J. A., Klop J. W.), s. 47-81
- artykuł: Construction of parallel programs with networks of cooperating processes (Banâtre J.-P.), s. 83-96
- artykuł: The complexity of classification problems (Budach L.), s. 97-113
- artykuł: Fairness and control (Burkhard H.-D.), s. 115-128
- artykuł: Closed sets of universal Horn formulas for many-sorted (partial) algebras (Burmeister P.), s. 129-143
- artykuł: Fairness for synchronous fork-join nets (Chadili M., Guessarian I.), s. 145-158
- artykuł: An axiomatic theory of information trees (Chen K.-H., Ras Z. W.), s. 159-167
- artykuł: Coalgebraic decision theory (Cockett J. R. B.), s. 185-196
- artykuł: How to treat decision problems by different programming methodologies (Cioni G., Miola A.), s. 185-196
- artykuł: A note on the minimalization of tree-automata (Courcelle B.), s. 197-203
- artykuł: Synchronous parallelizations of serial computer programs (Culik K.), s. 205-224
- artykuł: Categorical equivalences of varieties generated by algebras ${\germ A}$ and ${\germ A}^r$ (Denecke K.), s. 225-233
- artykuł: The second machine class 2, an encyclopedic view on the parallel computation thesis (van Emde Boas P.), s. 235-256
- artykuł: Functional compiler description (Indermark K.), s. 257-275
- artykuł: Elementary properties of the class of nondeterministic polynomial time computable functions (Jones J. P.), s. 277-283
- artykuł: Square-free and overlap-free words (Kfoury A. J.), s. 285-297
- artykuł: Finite and infinite computations of logic programs (Abdallah M.-A. N.), s. 299-313
- artykuł: Effective constructions of grammars (Novotný M.), s. 315-328
- artykuł: Kripke models with relative accessibility and their applications to inferences from incomplete information (Orłowska E.), s. 329-339
- artykuł: The extent to which linear problems have linear optimal algorithms (Packel E. W.), s. 341-357
- artykuł: Deriving programs using higher-order generalization (Pettorossi A.), s. 359-368
- artykuł: On equations of clones (Schweigert D.), s. 369-375
- artykuł: On the use of homomorphisms for proving the equivalence of some programs (Skordev D.), s. 377-384
- artykuł: On some arithmetically expressible properties of programs (Szabo M. E.), s. 385-394
- artykuł: Finite categories and regular languages (Thérien D., Sznajder-Głodowski M.), s. 395-402
- artykuł: Safety- and liveness-properties in propositional temporal logic: characterizations and decidability (Thomas W.), s. 403-417
- artykuł: Propositional dynamic logic with recursive programs (Tinchev T., Vakarelov D.), s. 419-426
- artykuł: Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA (Venturini-Zilli M.), s. 427-436
- artykuł: Iterative nondeterministic algebras (Wechler W.), s. 437-447
- artykuł: More about the closure of NP (Wechsung G.), s. 449-458
- artykuł: Information-based complexity and operator equations, s. 459-486
- artykuł: О сложности приближенного вычисления непрерывных функций (Гашков С. Б.), s. 487-497
- artykuł: О глубине булевых функций, реализуемых контактными схемами заданной сложности (Кузюрин Н. Н.), s. 499-502
- artykuł: Об одном подходе к оценке пространственной сложности схем из функциональных элементов (Ложкин С. А., Рыбко А. И., Сапоженко А. А., Хромкович Ю., Шкаликова Н. А.), s. 503-5121988
- artykuł: Оценка числа представительных наборов для одного класса бинарных таблиц (Мадатян X. А.), s. 513-522
- artykuł: О соотношении глубины детерминированных и недетерминированных бесконтурных программ в базисе {х + у, х — у, 1; signx} (Мошков М. Ю.), s. 523-529
- artykuł: Линейные нижние оценки сложности и их математические модели (Нигматуллин Р. Г.), s. 531-542
- artykuł: Об эффективных нижних оценках сложности реализации функций в различных классах управляющих систем с ограничением на структуру схем (Ткачев Г. А.), s. 543-555
- artykuł: Понятие полного расширения функции частично определенной логической сети и его применение в диагностике дискретных устройств (Фролов А. Б.), s. 557-571
- artykuł: О реализации булевских функций плоскими и объемными схемами из функциональных элементов (Шкаликова Н. А.), s. 573-583
- artykuł: Метод разрешения семантических свойств алгоритмов (Янов Ю. И.), s. 585-597

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.