Volume 46,
1986
- Christian Mauduit:
Morphismes Unispectraux.
1-11
- Gilles Bernot, Michel Bidoit, Christine Choppy:
Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors.
13-45
- Y. Q. Guo, G. W. Xu, Gabriel Thierrin:
Disjunctive Decomposition of Languages.
47-51
- Kosaburo Hashiguchi:
Notes on Finitely Generated Semigroups and Pumping Conditions for Regular Languages.
53-66
- Nadine Lerat, Witold Lipski Jr.:
Nonapplicable Nulls.
67-82
- Tom Head, Barbara Lando:
Periodic D0L Languages.
83-89
- Hideki Yamasaki, Masako Takahashi, Kojiro Kobayashi:
Characterization of omega-Regular Languages by Monadic Second-Order Formulas.
91-99
- Michel Latteux, Erick Timmerman:
Two Characterizations of Rational Adherences.
101-106
- Rodney R. Howell, Louis E. Rosier, Dung T. Huynh, Hsu-Chun Yen:
Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States.
107-140
- Joxan Jaffar, Peter J. Stuckey:
Semantics of Infinite Tree Logic Programming.
141-158
- Christine Duboc:
On Some Equations in Free Partially Commutative Monoids.
159-174
- Alvis Brazma, Efim B. Kinber:
Generalized Regular Expressions-A Language for Synthesis of Programs with Braching in Loops.
175-195
- Giuseppe Longo, Simone Martini:
Computability in Higher Types, P omega and the Completeness of Type Assignment.
197-217
- Phan Dinh Dieu, Le Cong Thanh, Le Tuan Hoa:
Average Polynomial Time Complexity of Some NP-Complete Problems.
219-327
- Bernhard Griesser:
Lower Bounds for the Approximative Complexity.
329-338
Copyright © Fri Mar 12 17:33:06 2010
by Michael Ley (ley@uni-trier.de)
