Volume 22; Issue 4

Acta Informatica

Volume 22; Issue 4
1

Necessary and sufficient conditions for the universality of programming formalisms

A. J. Kfoury, Pawel Urzyczyn
Journal:
Acta Informatica
Year:
1985
Language:
english
File:
PDF, 1.62 MB
english, 1985
2

Complete problems for space bounded subclasses of NP

Moon Jung Chung, W. Michael Evangelist, Ivan Hal Sudborough
Journal:
Acta Informatica
Year:
1985
Language:
english
File:
PDF, 861 KB
english, 1985
3

Global storage cells for attributes in an attribute grammar

Michael Sonnenschein
Journal:
Acta Informatica
Year:
1985
Language:
english
File:
PDF, 1.20 MB
english, 1985
4

Complexity of the word problem for commutative semigroups of fixed dimension

Dung T. Huynh
Journal:
Acta Informatica
Year:
1985
Language:
english
File:
PDF, 578 KB
english, 1985
5

Replaceability and computational equivalence for monotone boolean functions

Meurig Beynon
Journal:
Acta Informatica
Year:
1985
Language:
english
File:
PDF, 866 KB
english, 1985
6

On the worst case performance of buddy systems

Errol L. Lloyd, Michael C. Loui
Journal:
Acta Informatica
Year:
1985
Language:
english
File:
PDF, 968 KB
english, 1985