Volume 123; Issue 2

Theoretical Computer Science

Volume 123; Issue 2

1

The word problem for inverse monoids presented by one idempotent relator

Jean-Camille Birget, Stuart W. Margolis, John C. Meakin

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.25 MB

english, 1994

2

Equations and monoid varieties of dot-depth one and two

F. Blanchet-Sadri

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.40 MB

english, 1994

3

Mellin transforms and asymptotics: digital sums

Philippe Flajolet, Peter Grabner, Peter Kirschenhofer, Helmut Prodinger, Robert F. Tichy

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.22 MB

english, 1994

4

Atomic semicommutations

M. Clerbout, D. Gonzalez

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 855 KB

english, 1994

5

A universal cellular automaton in quasi-linear time and its S—m—n form

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.39 MB

english, 1994

6

On Π2 theories of hp-T degrees of low sets

Kunimasa Aoki, Juichi Shinoda, Teruko Tsuda

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 803 KB

english, 1994

7

Deciding bisimilarity of normed context-free processes is in Σp2

Dung T. Huynh, Lu Tian

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 915 KB

english, 1994

8

The Othello game on an n × n board is PSPACE-complete

Shigeki Iwata, Takumi Kasai

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 647 KB

english, 1994

9

Finite games for a predicate logic without contractions

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 603 KB

english, 1994

10

Double dipping: the case of the missing binomial coefficient identities

Grahame Bennett

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.40 MB

english, 1994

11

Optimal bounds for the change-making problem

Dexter Kozen, Shmuel Zaks

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 681 KB

english, 1994

12

Shallow grates

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 491 KB

english, 1994

13

Quasi-injective reductions

Edith Hemaspaandra, Lane A. Hemaspaandra

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 436 KB

english, 1994

14

Restricted CRCW PRAMs

Naomi Nishimura

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 861 KB

english, 1994

15

Fast recognition of deterministic cfl's with a smaller number of processors: Theoretical computer science 116 (2) (16 August 1993) 421–429

Burkhard Monien, Wojciech Rytter, Helmut Schäpers

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 45 KB

english, 1994

16

Author index volume 123 (1993)

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 96 KB

english, 1994

17

Functional equations associated with congruential functions

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 482 KB

english, 1994