STACS
1990
Springer
14 years 3 months ago
1990
Springer
nce abstract) GAUTAM DAS - University of Wisconsin DEBORAH JOSEPH - University of Wisconsin
SIGBDP
1990
14 years 3 months ago
1990
Technique for Inducing Abstractions", Communications of the ACM, 21(5), 401411, May 1978. [7] Hayes-Roth, Frederick, "Rule-Based Systems", Communications of the ACM,...
STACS
1989
Springer
14 years 3 months ago
1989
Springer
A sequence is said to be k-automatic if the nth term of this sequence is generated by a finite state machine with n in base k as input. Regular sequences were first defined by ...
MFCS
1990
Springer
14 years 3 months ago
1990
Springer
We introduce the notion of associative one-way functions and prove that they exist if and only if P 6= NP. As evidence of their utility, we present two novel protocols that apply ...
MFCS
1990
Springer
14 years 3 months ago
1990
Springer
MFCS
1990
Springer
14 years 3 months ago
1990
Springer
MFCS
1990
Springer
14 years 3 months ago
1990
Springer
The plausibility of computing the answers to many membership queries to a hard set with few queries is the subject of the theory of terseness. In this paper, we develop companion ...
MFCS
1989
Springer
14 years 3 months ago
1989
Springer
MFCS
1989
Springer
14 years 3 months ago
1989
Springer
MFCS
1989
Springer
14 years 3 months ago
1989
Springer
In this paper we review the key results about space bounded complexity classes, discuss the central open problems and outline the prominent proof techniques. We show that, for a s...