Volume 77; Issue 3

Theoretical Computer Science

Volume 77; Issue 3
1

Positive relativizations for log space computability

Seinosuke Toda
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.23 MB
english, 1990
3

On the inference of approximate programs

Carl H. Smith, Mahendran Velauthapillai
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.52 MB
english, 1990
4

Pushout-complements and basic concepts of grammars in toposes

Yasuo Kawahara
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.51 MB
english, 1990
5

Efficient and optimal query answering on independent schemes

Paolo Atzeni, Edward P.F. Chan
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.64 MB
english, 1990
6

Analysis of Petri nets by partitioning: Splitting transitions

Hossam Mahmoud Ahmad Fahmy
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 642 KB
english, 1990
7

The fixed points of logic programs with herbrand base N

William F. Dowling, Robert Kline
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 836 KB
english, 1990
8

Construction of Voronoi diagrams in the plane by using maps

Mounir Elbaz, Jean-Claude Spehner
Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 1.03 MB
english, 1990
9

Author index volume 77 (1990)

Journal:
Theoretical Computer Science
Year:
1990
Language:
english
File:
PDF, 73 KB
english, 1990