Volume 148; Issue 2

Theoretical Computer Science

Volume 148; Issue 2
1

On quasilinear-time complexity theory

Ashish V. Naik, Kenneth W. Regan, D. Sivakumar
Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 2.01 MB
english, 1995
2

On the acceptance power of regular languages

Bernd Borchert
Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 1.37 MB
english, 1995
3

On adaptive DLOGTIME and POLYLOGTIME reductions

Carme Àlvarez, Birgit Jenner
Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 1.86 MB
english, 1995
4

A hierarchy of temporal logics with past

F. Laroussinie, Ph. Schnoebelen
Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 1.40 MB
english, 1995
5

On some decision problems for trace codings

Véronique Bruyère, Clelia De Felice, Giovanna Guaiana
Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 2.01 MB
english, 1995
6

Undecidability of bisimilarity for Petri nets and some related problems

Petr Jančar
Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 1.43 MB
english, 1995
7

Preface

Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner
Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 54 KB
english, 1995
8

Contents EATCS bulletin number 56, June 1995

Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 226 KB
english, 1995
9

Author index volume 148 (1995)

Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 89 KB
english, 1995
10

Reachability and the power of local ordering

Kousha Etessami, Neil Immerman
Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 1.22 MB
english, 1995