Volume 123, Number 1, 17 January 1994
Selected Papers of the 10th "Journées Mathématiques-Informatique", Marseilee, October 14-16, 1991
Volume 123, Number 2, 31 January 1994
- Dung T. Huynh, Lu Tian:
Deciding Bisimilarity of Normed Context-Free Processes is in Sigma^p_2.
183-197

- Bruno Martin:
A Universal Cellular Automaton in Quasi-Linear Time and its S-m-n Form.
199-237

- Francine Blanchet-Sadri:
Equations and Monoid Varieties of Dot-Depth One and Two.
239-258

- Mireille Clerbout, D. Gonzalez:
Atomic Semicommutations.
259-272

- Jean-Camille Birget, Stuart W. Margolis, John C. Meakin:
The Word Problem for Inverse Monoids Presented by One Idempotent Relator.
273-289

- Philippe Flajolet, Peter J. Grabner, Peter Kirschenhofer, Helmut Prodinger, Robert F. Tichy:
Mellin Transforms and Asymptotics: Digital Sums.
291-314

- Kunimasa Aoki, Juichi Shinoda, Teruko Tsuda:
On Pi_2 Theories of hp-T Degrees of Low Sets.
315-327

- Shigeki Iwata, Takumi Kasai:
The Othello game on an n*n board is PSPACE-complete.
329-340

- Daniel Mey:
Finite Games for a Predicate Logic Without Contractions.
341-349

- Grahame Bennett:
Double Dipping: the Case of the Missing Binomial Coefficient Identities.
351-375

- Dexter Kozen, Shmuel Zaks:
Optimal Bounds for the Change-Making Problem.
377-388

- Maria M. Klawe:
Shallow Grates.
389-395

- Serge Burckel:
Functional Equations Associated with Congruential Functions.
397-406

- Edith Hemaspaandra, Lane A. Hemaspaandra:
Quasi-injective Reductions.
407-413

- Naomi Nishimura:
Restricted CRCW PRAM.
415-426

- Burkhard Monien, Wojciech Rytter, Helmut Schäpers:
Corrigendum: Fast Recognition of Deterministic CFL's with a Smaller Number of Processors.
427-428, (see: TCS 116: 421-429 (1993))

Last update Fri May 24 20:53:05 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page