bwmeta1.element.bwnjournal-journal-bcp, Tome 21 (1988)

Sommaire

Preface, Contents

Grażyna Mirkowska ; Helena Rasiowa

Access to full text
Full (PDF)

p. 1-8

The Polish Digital Mathematics Library

Contents

Stanisław Łojasiewicz

Access to full text
Full (PDF)

p. 1-6

The Polish Digital Mathematics Library

Preface, Philosophie de la singularité

Thom René

Access to full text
Full (PDF)

p. 7-14

The Polish Digital Mathematics Library

Transition systems and concurrent processes

André Arnold

Access to full text
Full (PDF)

p. 9-20

The Polish Digital Mathematics Library

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

Andrea Asperti ; Giuseppe Longo

Access to full text
Full (PDF)

p. 21-45

The Polish Digital Mathematics Library

Infinitesimal deformations of quotient surface singularities

Kurt Behnke ; Constantin Kahn ; Oswald Riemenschneider

Access to full text
Full (PDF)

p. 31-66

The Polish Digital Mathematics Library

An operational semantics for process algebra

J. C. M. Baeten ; J. A. Bergstra ; J. W. Klop

Access to full text
Full (PDF)

p. 47-81

The Polish Digital Mathematics Library

Local analytic invariants

Edward Bierstone ; Pierre D. Milman

Access to full text
Full (PDF)

p. 67-78

The Polish Digital Mathematics Library

Homologie des espaces complexes

Access to full text
Full (PDF)

p. 79-84

The Polish Digital Mathematics Library

Construction of parallel programs with networks of cooperating processes

Jean-Pierre Banâtre

Access to full text
Full (PDF)

p. 83-96

The Polish Digital Mathematics Library

Families of spheres

J. W. Bruce ; P. J. Giblin

Access to full text
Full (PDF)

p. 85-102

The Polish Digital Mathematics Library

The complexity of classification problems

L. Budach

Access to full text
Full (PDF)

p. 97-113

The Polish Digital Mathematics Library

Local method of nonlinear analysis

A. D. Bruno

Access to full text
Full (PDF)

p. 103-120

The Polish Digital Mathematics Library

Fairness and control

Hans-Dieter Burkhard

Access to full text
Full (PDF)

p. 115-128

The Polish Digital Mathematics Library

Arithmetical aspects of saturation of singularities

Antonio Campillo

Access to full text
Full (PDF)

p. 121-137

The Polish Digital Mathematics Library

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

Peter Burmeister

Access to full text
Full (PDF)

p. 129-143

The Polish Digital Mathematics Library

The Łojasiewicz exponent of an analytic mapping of two complex variables at an isolated zero

Jacek Chadzyński ; Tadeusz Krasiński

Access to full text
Full (PDF)

p. 139-146

The Polish Digital Mathematics Library

Fairness for synchronous fork-join nets

M. Chadili ; I. Guessarian

Access to full text
Full (PDF)

p. 145-158

The Polish Digital Mathematics Library

Exponent of growth of polynomial mappings of

C^{2}

into

C^{2}

Jacek Chadzyński ; Tadeusz Krasiński

Access to full text
Full (PDF)

p. 147-160

The Polish Digital Mathematics Library

An axiomatic theory of information trees

Keh-Hsun Chen ; Zbigniew W. Ras

Access to full text
Full (PDF)

p. 159-167

The Polish Digital Mathematics Library

On the Pham example and the universal topological stratification of singularities

James Damon

Access to full text
Full (PDF)

p. 161-168

The Polish Digital Mathematics Library

Quasi-isomorphic perversities and obstruction theory for pseudomanifolds

Karl-Heinz Fieseler ; Ludger Kaup

Access to full text
Full (PDF)

p. 169-193

The Polish Digital Mathematics Library

Coalgebraic decision theory

J. R. B. Cockett

Access to full text
Full (PDF)

p. 185-196

The Polish Digital Mathematics Library

How to treat decision problems by different programming methodologies

G. Cioni ; A. Miola

Access to full text
Full (PDF)

p. 185-196

The Polish Digital Mathematics Library

The vanishing invariants in intersection homology of complex spaces

Karl Heinz Fieseler ; Ludger Kaup

Access to full text
Full (PDF)

p. 195-205

The Polish Digital Mathematics Library

A note on the minimalization of tree-automata

Bruno Courcelle

Access to full text
Full (PDF)

p. 197-203

The Polish Digital Mathematics Library

Synchronous parallelizations of serial computer programs

K. Culik

Access to full text
Full (PDF)

p. 205-224

The Polish Digital Mathematics Library

Relative cohomology and volume forms

J.-P. Francoise

Access to full text
Full (PDF)

p. 207-222

The Polish Digital Mathematics Library

Morse theory on singular spaces and Lefschetz theorems

Helmut A. Hamm

Access to full text
Full (PDF)

p. 223-237

The Polish Digital Mathematics Library

Categorical equivalences of varieties generated by algebras

𝔄

and

𝔄^{r}

K. Denecke

Access to full text
Full (PDF)

p. 225-233

The Polish Digital Mathematics Library

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

Peter van Emde Boas

Access to full text
Full (PDF)

p. 235-256

The Polish Digital Mathematics Library

A natural equivalence relation on singularities

T. C. Kuo

Access to full text
Full (PDF)

p. 239-243

The Polish Digital Mathematics Library

Herissons et multiherissons (enveloppes parametrées par leur application de Gauss)

Rémi Langevin ; Harold Rosenberg

Access to full text
Full (PDF)

p. 245-253

The Polish Digital Mathematics Library

Moduli of plane curve singularities with C*-action

O. A. Laudal ; B. Martin ; G. Pfister

Access to full text
Full (PDF)

p. 255-278

The Polish Digital Mathematics Library

Functional compiler description

K. Indermark

Access to full text
Full (PDF)

p. 257-275

The Polish Digital Mathematics Library

Elementary properties of the class of nondeterministic polynomial time computable functions

James P. Jones

Access to full text
Full (PDF)

p. 277-283

The Polish Digital Mathematics Library

Stable mappings of 3-manifolds into the plane

Harold Levine

Access to full text
Full (PDF)

p. 279-289

The Polish Digital Mathematics Library

Square-free and overlap-free words

A. J. Kfoury

Access to full text
Full (PDF)

p. 285-297

The Polish Digital Mathematics Library

Permanence of local properties under hyperplane sections

Mirella Manaresi

Access to full text
Full (PDF)

p. 291-297

The Polish Digital Mathematics Library

Thom's lemma in real geometry

I. Miranda ; T. Recio

Access to full text
Full (PDF)

p. 299-302

The Polish Digital Mathematics Library

Finite and infinite computations of logic programs

M.-A. Nait Abdallah

Access to full text
Full (PDF)

p. 299-313

The Polish Digital Mathematics Library

Tangent cones and Lipschitz stratifications

Tadeusz Mostowski

Access to full text
Full (PDF)

p. 303-322

The Polish Digital Mathematics Library

Effective constructions of grammars

Miroslav Novotný

Access to full text
Full (PDF)

p. 315-328

The Polish Digital Mathematics Library

Lipschitz stratification of real analytic sets

Adam Parusiński

Access to full text
Full (PDF)

p. 323-333

The Polish Digital Mathematics Library

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

Ewa Orłowska

Access to full text
Full (PDF)

p. 329-339

The Polish Digital Mathematics Library

Curves and surfaces in real projective spaces: an approach to generic projections

R. Pignoni

Access to full text
Full (PDF)

p. 335-351

The Polish Digital Mathematics Library

The extent to which linear problems have linear optimal algorithms

Edward W. Packel

Access to full text
Full (PDF)

p. 341-357

The Polish Digital Mathematics Library

Multiplicity and the Lojasiewicz exponent

Arkadiusz Płoski

Access to full text
Full (PDF)

p. 353-364

The Polish Digital Mathematics Library

Deriving programs using higher-order generalization

Alberto Pettorossi

Access to full text
Full (PDF)

p. 359-368

The Polish Digital Mathematics Library

Defining orbit spaces by inequalities

Claudio Procesi ; Gerald Schwarz

Access to full text
Full (PDF)

p. 365-372

The Polish Digital Mathematics Library

On equations of clones

Dietmar Schweigert

Access to full text
Full (PDF)

p. 369-375

The Polish Digital Mathematics Library

Distance aux fibres d'un sous-analytique

Gilles Raby

Access to full text
Full (PDF)

p. 373-377

The Polish Digital Mathematics Library

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

Dimiter Skordev

Access to full text
Full (PDF)

p. 377-384

The Polish Digital Mathematics Library

The Picard group of the canonical resolution of a 3-dimensional simple singularity

Marko Roczeń

Access to full text
Full (PDF)

p. 379-383

The Polish Digital Mathematics Library

Triangulation of subanalytic sets

Masahiro Shiota

Access to full text
Full (PDF)

p. 385-395

The Polish Digital Mathematics Library

On some arithmetically expressible properties of programs

M. E. Szabo

Access to full text
Full (PDF)

p. 385-394

The Polish Digital Mathematics Library

Finite categories and regular languages

Denis Thérien ; Małgorzata Sznajder-Głodowski

Access to full text
Full (PDF)

p. 395-402

The Polish Digital Mathematics Library

Hypersurfaces with singular locus a plane curve and transversal type

A_{1}

Dirk Siersma

Access to full text
Full (PDF)

p. 397-410

The Polish Digital Mathematics Library

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

Wolfgang Thomas

Access to full text
Full (PDF)

p. 403-417

The Polish Digital Mathematics Library

Measure and category

Floris Takens

Access to full text
Full (PDF)

p. 411-418

The Polish Digital Mathematics Library

Quelques remarques sur le spectre de singularite d'un germe de courbe plane

Le Van-Thanh

Access to full text
Full (PDF)

p. 419-427

The Polish Digital Mathematics Library

Propositional dynamic logic with recursive programs

Tinko Tinchev ; Dimiter Vakarelov

Access to full text
Full (PDF)

p. 419-426

The Polish Digital Mathematics Library

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

Marisa Venturini-Zilli

Access to full text
Full (PDF)

p. 427-436

The Polish Digital Mathematics Library

Combinations of rational singularities on plane sextic curves with the sum of Milnor numbers less than sixteen

Tohsuke Urabe

Access to full text
Full (PDF)

p. 429-456

The Polish Digital Mathematics Library

Iterative nondeterministic algebras

Wolfgang Wechler

Access to full text
Full (PDF)

p. 437-447

The Polish Digital Mathematics Library

More about the closure of NP

Gerd Wechsung

Access to full text
Full (PDF)

p. 449-458

The Polish Digital Mathematics Library

Survey of recent results on singularities of equivariant maps

C. T. C. Wall

Access to full text
Full (PDF)

p. 457-474

The Polish Digital Mathematics Library

Information-based complexity and operator equations

Access to full text
Full (PDF)

p. 459-486

The Polish Digital Mathematics Library

Classification of singularities with compact abelian symmetry

Gordon Wassermann

Access to full text
Full (PDF)

p. 475-498

The Polish Digital Mathematics Library

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

С. Б. Гашков

Access to full text
Full (PDF)

p. 487-497

The Polish Digital Mathematics Library

On the depth of Boolean functions that can be realized by switching circuits of given complexity

Н. Н. Кузюрин

Access to full text
Full (PDF)

p. 499-502

The Polish Digital Mathematics Library

An approach to the estimation of the three-dimensional complexity of circuits consisting of functional elements

С. А. Ложкин ; А. И. Рыбко ; А. А. Сапоженко ; Ю. Хромкович ; Н. А. Шкаликова

Access to full text
Full (PDF)

p. 503-5121988

The Polish Digital Mathematics Library

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

X. А. Мадатян

Access to full text
Full (PDF)

p. 513-522

The Polish Digital Mathematics Library

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

М. Ю. Мошков

Access to full text
Full (PDF)

p. 523-529

The Polish Digital Mathematics Library

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

Р. Г. Нигматуллин

Access to full text
Full (PDF)

p. 531-542

The Polish Digital Mathematics Library

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

Г. А. Ткачев

Access to full text
Full (PDF)

p. 543-555

The Polish Digital Mathematics Library

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

А. Б. Фролов

Access to full text
Full (PDF)

p. 557-571

The Polish Digital Mathematics Library

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

Н. А. Шкаликова

Access to full text
Full (PDF)

p. 573-583

The Polish Digital Mathematics Library

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

Ю. И. Янов

Access to full text
Full (PDF)

p. 585-597

The Polish Digital Mathematics Library