Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 79
Volume 79, Number 1, 1991
- Marcella Anselmo:
The Zig-Zag Power Series: A Two-Way Version of the * Operator. 3-24 - Alberto Bertoni, Danilo Bruschi, Massimiliano Goldwurm:
Ranking and Formal Power Series. 25-35 - Philippe Flajolet, Bruno Salvy, Paul Zimmermann:
Automatic Average-Case Analysis of Algorithm. 37-109 - Daniel Krob:
Some Examples of Formal Series Used in Non-Commutative Algebra. 111-135 - Werner Kuich:
Automata and Languages Generalized to omega-Continuous Semirings. 137-150 - Christiane Hespel, Gérard Jacob:
Approximation of Nonlinear Dynamic Systems by Rational Series. 151-162 - Vincel Hoang Ngoc Minh:
Evaluation Transform. 163-177 - Pierre Leroux, Xavier Gérard Viennot:
A Combinatorial Approach to Nonlinear Functional Expansions: An Introduction with an Example. 179-193 - N. E. Oussous:
Computation, on Macsyma, of the Minimal Differential Representation of Noncommutative Polynomials. 195-207 - Marie-Pierre Delest:
Enumeration of Polyominoes Using Macsyma. 209-226 - Gérard Duchamp:
Orthogonal Projection Onto the Free Lie Algebra. 227-239 - Pierre-Vincent Koseleff:
Jeux de Mots dans les Algèbres de Lie Libres: Quelques Bases et Formules. 241-256 - F. Rotella:
Shuffle Product of Generating Series. 257-261 - Juha Honkala:
On Algebraic Generalized Zeta Functions of Formal Power Series. 263-273
Volume 79, Number 2, 1991
- Frits W. Vaandrager:
Determinism - (Event Structure Isomorphism = Step Sequence Equivalence). 275-294 - Marit Holden:
Weak Logic Theory. 295-321 - Ali Jaoua
, Ali Mili, Noureddine Boudriga, J. L. Durieux:
Regularity of Relations: A Measure of Uniformity. 323-339 - Andrzej Szalas:
On Strictly Arithmetical Completeness in Logics of Programs. 341-355 - Allen Stoughton:
Interdefinability of Parallel Operations in PCF. 357-358 - Achim Jung:
The Dependent Product Construction in Various Categories of Domains. 359-363 - George Koletsos:
Polymorphic Lambda Calculus: The Church-Rosser Property. 365-371
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
