8949 search results - page 605 / 1790 » is 1998 |
152
click to vote
IPL
1998
15 years 7 months ago
1998
We show how to accept a context-free language nondeterministically in O( n log n) time on a two-queue machine.
185
click to vote
JCSS
1998
15 years 7 months ago
1998
This paper gives nearly optimal, logarithmic upper and lower bounds on the minimum degree of Nullstellensatz refutations (i.e., polynomials) of the propositional induction princip...
203
click to vote
JOOP
1998
15 years 7 months ago
1998
A set of rules to ascertain that in calls of the form x.f (...) there will always be an object attached to x. 1 PURPOSE The theory developed in this article investigates void call...
162
click to vote
JSC
1998
15 years 7 months ago
1998
Abstract. In this paper we give new, improved explicit upper bounds for the absolute values of the integer solutions and for the heights of S-integer solutions of elliptic equation...
155
click to vote
MLQ
1998
15 years 7 months ago
1998
We find properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.