Volume 47; Issue none

Main
Theoretical Computer Science
Volume 47; Issue none

Theoretical Computer Science

Volume 47; Issue none

1

Editorial Board

Journal:

Theoretical Computer Science

Year:

1986

File:

PDF, 13 KB

1986

2

Complete classes of automata for the α0-product

Zoltán Ésik, Pál Dömösi

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 822 KB

english, 1986

3

The problems of cyclic equality and conjugacy for finite complete rewriting systems

Paliath Narendran, Friedrich Otto

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 746 KB

english, 1986

4

Rational equivalence relations

J.Howard Johnson

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 1.32 MB

english, 1986

5

Lie patterns in search procedures

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 566 KB

english, 1986

6

The equivalence of finite valued transducers (on HDT0L languages) is decidable

Karel Culik II, Juhani Karhumäki

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 977 KB

english, 1986

7

NP is as easy as detecting unique solutions

L.G. Valiant, V.V. Vazirani

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 543 KB

english, 1986

8

On the complementation of Büchi automata

Jean-Pierre Pecuchet

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 189 KB

english, 1986

9

On polynomials with symmetric Galois group which are easy to compute

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 378 KB

english, 1986

10

On the size of unambigous context-free grammars

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 172 KB

english, 1986

11

On nondeterminism in parallel computation

Patrick W. Dymond

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 705 KB

english, 1986

12

Some observations on the connection between counting and recursion

Klaus W. Wagner

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 949 KB

english, 1986

13

Finite automata and unary languages

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 597 KB

english, 1986

14

Subword topology

V.Rajkumar Dare, Rani Siromoney

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 584 KB

english, 1986

15

On simple and creative sets in NP

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 728 KB

english, 1986

16

Searching and pebbling

Lefteris M. Kirousis, Christos H. Papadimitriou

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 937 KB

english, 1986

17

Self-embedding indexed grammars

R. Parchmann, J. Duske

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 241 KB

english, 1986

18

The undecidability of self-embedding for finite semi-Thue and Thue systems

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 454 KB

english, 1986

19

Balance of many-valued transductions and equivalence problems

Yael Maon, Amiram Yehudai

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 1.00 MB

english, 1986

20

On the continued fraction representation of computable real numbers

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 858 KB

english, 1986

21

On the complexity of parallel parsing of general context-free languages

Wojciech Rytter

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 409 KB

english, 1986

22

Lower bounds on communication overlap of networks

J.W. Hong, Q. Zuo

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 296 KB

english, 1986

23

Concerning the semantic consequence relation in first-order temporal logic

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 332 KB

english, 1986

24

The rational index of the Dyck language D′1∗

Jean-Luc Deleage, Laurent Pierre

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 422 KB

english, 1986

25

Author index volume 47 (1986)

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 95 KB

english, 1986

26

Real-time, pseudo real-time, and linear-time ITA

Karel Culik II, Sheng Yu

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 686 KB

english, 1986

27

Le calcul rapide des melanges de deux mots

Jean-Claude Spehner

Journal:

Theoretical Computer Science

Year:

1986

File:

PDF, 1.15 MB

1986

28

Contents EATCS bulletin

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 181 KB

english, 1986

29

Two time-space tradeoffs for element distinctness

Mauricio Karchmer

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 588 KB

english, 1986

30

On one-way functions and polynomial-time isomorphisms

Ker-I Ko, Timothy J. Long, Ding-Zhu Du

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 806 KB

english, 1986

31

Parallel ear decomposition search (EDS) and st-numbering in graphs

Yael Maon, Baruch Schieber, Uzi Vishkin

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 1.39 MB

english, 1986

32

Corrigendum

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 34 KB

english, 1986

33

A classification of complexity core lattices

Journal:

Theoretical Computer Science

Year:

1986

Language:

english

File:

PDF, 601 KB

english, 1986