Volume 12; Issue 4

Acta Informatica

Volume 12; Issue 4
1

Probabilistic models of computer systems

Year:
1979
Language:
english
File:
PDF, 792 KB
english, 1979
2

On a class of recursive procedures and equivalent iterative ones

Year:
1979
Language:
english
File:
PDF, 674 KB
english, 1979
4

A method for transforming grammars intoLL(k) form

Year:
1979
Language:
english
File:
PDF, 1.35 MB
english, 1979
5

Some remarks on Boolean sums

Year:
1979
Language:
english
File:
PDF, 198 KB
english, 1979
6

Sequential method in propositional dynamic logic

Year:
1979
Language:
english
File:
PDF, 832 KB
english, 1979
7

A tribute to referees

Year:
1979
Language:
english
File:
PDF, 54 KB
english, 1979