Search

Your search keyword '"Book, Ronald V."' showing total 472 results
Start Over Author "Book, Ronald V."
472 results on '"Book, Ronald V."'

5. Preliminaries

Author

Book, Ronald V., Otto, Friedrich, Gries, David, editor, Book, Ronald V., and Otto, Friedrich

Published
1993
Full Text
View/download PDF

7. Introduction

Author

Book, Ronald V., Otto, Friedrich, Gries, David, editor, Book, Ronald V., and Otto, Friedrich

Published
1993
Full Text
View/download PDF

8. On type-2 probabilistic quantifiers

Author

Book, Ronald V., Vollmer, Heribert, Wagner, Klaus W., Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Meyer, Friedhelm, editor, and Monien, Burkhard, editor

Published
1996
Full Text
View/download PDF

16. Additional queries to random and pseudorandom oracles

Author

Book, Ronald V., Lutz, Jack H., Tang, Shouwen, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Paterson, Michael S., editor

Published
1990
Full Text
View/download PDF

19. Relativizations of the P = ?NP and other problems: developments in structural complexity theory

Author

Book, Ronald V.

Subjects
Algebras, Linear -- Analysis, Mathematics
Abstract

The structural complexity theory, which is a branch of complexity theory, is developed by analysis of complete sets and reducibilities properties. Recent results in structural complexity theory are examined in terms of the relationship, P equal to ?NP and other problems. These investigations yield ideas about the application of this theory to different problems.

Published
1994

29. Dehn's Algorithm and the Complexity of Word Problems.

Author

Book, Ronald V.

Abstract

The "word problem" is stated for a given collection. Facts regarding Dehn's Algorithm, definition of Thue systems, a rewriting system, lemmas and corollaries are provided. The situation is examined where the monoid presented by a finite Thue system is a group. (DC)

Published
1988

31. Towards a theory of relativizations: Positive relativizations

Author

Book, Ronald V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Brandenburg, Franz J., editor, Vidal-Naquet, Guy, editor, and Wirsing, Martin, editor

Published
1987
Full Text
View/download PDF

32. Sparse sets, tally sets, and polynomial reducibilities

Author

Book, Ronald V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Chytil, Michal P., editor, Koubek, Václav, editor, and Janiga, Ladislav, editor

Published
1988
Full Text
View/download PDF

33. Immunity : Extended abstract

Author

Schöning, Uwe, Book, Ronald V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Diaz, Josep, editor

Published
1983
Full Text
View/download PDF

34. The Verifiability of Two-Party Protocols

Author

Book, Ronald V., Otto, Friedrich, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Pichler, Franz, editor

Published
1986
Full Text
View/download PDF

35. On generalized kolmogorov complexity

Author

Balcázar, José L., Book, Ronald V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Monien, B., editor, and Vidal-Naquet, G., editor

Published
1986
Full Text
View/download PDF

36. Thue systems as rewriting systems

Author

Book, Ronald V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Jouannaud, Jean-Pierre, editor

Published
1985
Full Text
View/download PDF

37. Controlled relativizations of P and NP : Abstract

Author

Book, Ronald V., Long, Timothy J., Selman, Alan L., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Cremers, Armin B., editor, and Kriegel, Hans-Peter, editor

Published
1982
Full Text
View/download PDF

38. Separating polynomial-time turing and truth-table reductions by tally sets

Author

Tang, Shouwen, Book, Ronald V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Lepistö, Timo, editor, and Salomaa, Arto, editor

Published
1988
Full Text
View/download PDF

40. Sparse oracles, lowness, and highness

Author

Balcázar, José L., Book, Ronald V., Schöning, Uwe, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Lukcham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Chytil, M. P., editor, and Koubek, V., editor

Published
1984
Full Text
View/download PDF

42. On the computational power of reversal-bounded machines

Author

Book, Ronald V., Yap, Chee K., Goos, G., editor, Hartmanis, J., editor, Brinch Hansen, P., editor, Gries, D., editor, Moler, C., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Salomaa, Arto, editor, and Steinby, Magnus, editor

Published
1977
Full Text
View/download PDF

43. Comparisons and reset machines : Preliminary report

Author

Book, Ronald V., Greibach, Sheila A., Wrathall, Celia, Goos, G., editor, Hartmanis, J., editor, Brinch Hansen, P., editor, Gries, D., editor, Moler, C., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Ausiello, Giorgio, editor, and Böhm, Corrado, editor

Published
1978
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results