Volume 13; Issue 2

Acta Informatica

Volume 13; Issue 2
1

A new lower bound on the monotone network complexity of Boolean sums

Ingo Wegener
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 282 KB
english, 1980
2

Methods for the automatic construction of error correcting parsers

Johannes Röhrich
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 1.16 MB
english, 1980
3

Efficient LL(1) error correction and recovery using only insertions

C. N. Fischer, D. R. Milton, S. B. Quiring
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 734 KB
english, 1980
4

Efficient worst-case data structures for range searching

J. L. Bentley, H. A. Maurer
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 689 KB
english, 1980
5

Proving correctness of coroutines without history variables

Edmund Melson Clarke
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 879 KB
english, 1980
6

An Ogden-like iteration lemma for rational power series

Christophe Reutenauer
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 384 KB
english, 1980
7

Amounts of nondeterminism in finite automata

Chandra M. R. Kintala, Detlef Wotschke
Journal:
Acta Informatica
Year:
1980
Language:
english
File:
PDF, 282 KB
english, 1980