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 BibTeX
- Bruno Martin:
A Universal Cellular Automaton in Quasi-Linear Time and its S-m-n Form.
199-237 BibTeX
- Francine Blanchet-Sadri:
Equations and Monoid Varieties of Dot-Depth One and Two.
239-258 BibTeX
- Mireille Clerbout, D. Gonzalez:
Atomic Semicommutations.
259-272 BibTeX
- Jean-Camille Birget, Stuart W. Margolis, John C. Meakin:
The Word Problem for Inverse Monoids Presented by One Idempotent Relator.
273-289 BibTeX
- Philippe Flajolet, Peter J. Grabner, Peter Kirschenhofer, Helmut Prodinger, Robert F. Tichy:
Mellin Transforms and Asymptotics: Digital Sums.
291-314 BibTeX
- Kunimasa Aoki, Juichi Shinoda, Teruko Tsuda:
On Pi_2 Theories of hp-T Degrees of Low Sets.
315-327 BibTeX
- Shigeki Iwata, Takumi Kasai:
The Othello game on an n*n board is PSPACE-complete.
329-340 BibTeX
- Daniel Mey:
Finite Games for a Predicate Logic Without Contractions.
341-349 BibTeX
- Grahame Bennett:
Double Dipping: the Case of the Missing Binomial Coefficient Identities.
351-375 BibTeX
- Dexter Kozen, Shmuel Zaks:
Optimal Bounds for the Change-Making Problem.
377-388 BibTeX
- Maria M. Klawe:
Shallow Grates.
389-395 BibTeX
- Serge Burckel:
Functional Equations Associated with Congruential Functions.
397-406 BibTeX
- Edith Hemaspaandra, Lane A. Hemaspaandra:
Quasi-injective Reductions.
407-413 BibTeX
- Naomi Nishimura:
Restricted CRCW PRAM.
415-426 BibTeX
- Burkhard Monien, Wojciech Rytter, Helmut Schäpers:
Corrigendum: Fast Recognition of Deterministic CFL's with a Smaller Number of Processors.
427-428 BibTeX
,
->TCS 116: 421-429 (1993)
Copyright © Wed Jun 4 19:21:12 2008
by Michael Ley (ley@uni-trier.de)
