Volume 26; Issue 3

Information Processing Letters

Volume 26; Issue 3
1

Arithmetical axiomatization of first-order temporal logic

Andrzej Szalas
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 332 KB
english, 1987
2

Tight chip area lower bounds for string matching

O. Sydotkora, I. Vřto
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 134 KB
english, 1987
3

Towards the minimum set of primitive relations in temporal logic

Mingfa Zhu, Nan K. Loh, Pepe Siy
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 278 KB
english, 1987
4

Trinity algebra and its application to machine decompositions

Y. Hou
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 281 KB
english, 1987
5

Manipulation of data structures without pointers

A.S.M. Sajeev, J. Olszewski
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 322 KB
english, 1987
6

Extended impossibility results for asynchronous complete networks

Shlomo Moran, Yaron Wolfstahl
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 439 KB
english, 1987
7

One-way permutations in NC0

Johan Hastad
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 154 KB
english, 1987
8

Nonconstructive advances in polynomial-time complexity

Michael R. Fellows, Michael A. Langston
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 347 KB
english, 1987
9

Comments on “a deficiency of natural deduction” [1]

H. Balsters
Journal:
Information Processing Letters
Year:
1987
Language:
english
File:
PDF, 84 KB
english, 1987