WorldCat Identities

Book, Ronald V.

Overview
Works: 54 works in 114 publications in 2 languages and 1,876 library holdings
Genres: Conference proceedings 
Roles: Editor, Honoree
Classifications: QA267, 001.64
Publication Timeline
Key
Publications about  Ronald V Book Publications about Ronald V Book
Publications by  Ronald V Book Publications by Ronald V Book
posthumous Publications by Ronald V Book, published posthumously.
Most widely held works by Ronald V Book
Currents in the theory of computing by Alfred V Aho ( Book )
6 editions published in 1973 in English and held by 405 WorldCat member libraries worldwide
Formal language theory : perspectives and open problems ( Book )
9 editions published in 1980 in English and held by 353 WorldCat member libraries worldwide
Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings by Ronald V Book ( Book )
15 editions published in 1991 in English and held by 341 WorldCat member libraries worldwide
"This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems."--PUBLISHER'S WEBSITE
Studies in complexity theory by Ker-I Ko ( Book )
11 editions published in 1986 in English and Undetermined and held by 319 WorldCat member libraries worldwide
String-rewriting systems by Ronald V Book ( Book )
10 editions published between 1993 and 2012 in English and Undetermined and held by 272 WorldCat member libraries worldwide
The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can be understood and used in studies relating to more general rewriting, automated deduction, and algorithmic problems of algebraic structures. The authors have concentrated on presenting basic material that ought to be a prerequisite for understanding more specialized material. The monograph opens with the preliminaries of string-rewriting systems followed by length as the basis for reduction. Monadic string-rewriting systems is covered as well as length-reducing non-monadic string-writing systems. The book closes with the subjects of algebraic protocols and algebraic properties. When the reader has mastered the material in the core of the book (Chapters 1-4), then that person should be equipped to explore the ever-growing body of literature in the field of string-rewriting systems. Both authors have been active in the field of string-rewriting systems and have lectured on the subject in several universities. Lecture notes have been produced and distributed. This monograph is a result of revising and rewriting those notes. This monograph is written for independent study by researchers in theoretical computer science or in the foundation of artificial intelligence. This book is not intended as a textbook, but it certainly could be used as a textbook in computer science. It could be used for a course entitled "Rewriting Systems," or "String Rewriting," or "Foundations of Artificial Intelligence."
Advances in algorithms, languages, and complexity by Ding-Zu Du ( Book )
4 editions published in 1997 in English and held by 85 WorldCat member libraries worldwide
Formal language theory : perspectives and open problems; [... Symposium on Formal Language Theory, Santa Barbara, Calif., Dec. 10 - 14, 1979] ( Book )
2 editions published in 1980 in English and held by 17 WorldCat member libraries worldwide
Grammars with time functions by Ronald V Book ( Book )
6 editions published in 1969 in English and held by 13 WorldCat member libraries worldwide
The subject of this paper is the study of formal grammars and of formal languages from the viewpoint of time-bounded grammars. The principal results focus on properties similar to those of families of languages defined by time-bounded nondeterministic Turing machines. Chapter 1 contains an overview of the results of this paper and a summary of basic ideas of automata theory and mathematical linguistics used here. In Chapter 2, basic properties of time-bounded grammars and languages generated by time-bounded grammars are investigated. Chapter 3 establishes the positive closure and containment properties of families of languages defined by grammars whose time functions are bounded by bounding functions. Nonclosure, undecidability, and hierarchy results are established in Chapter 4. (Author)
14th annual symposium on switching and automata theory, Oct. 15-17, 1973 ( Book )
1 edition published in 1973 in English and held by 4 WorldCat member libraries worldwide
Integrating advanced technology into technology education by Ronald V Book ( Book )
1 edition published in 2012 in English and held by 3 WorldCat member libraries worldwide
On complexity classes and algorithmically random languages by Ronald V Book ( Book )
2 editions published in 1991 in English and held by 3 WorldCat member libraries worldwide
Abstract: "Every class C of languages satisfying a simple topological condition is shown to have probability one if and only if it contains some language that is algorithmically random in the sense of Martin-Löf. This result is used to derive separation properties of algorithmically random oracles and to give characterizations of the complexity classes P, BPP, and AM in terms of reducibility to such oracles."
Formal language theory by Symposium on Formal Language Theory ( Book )
2 editions published in 1981 in English and held by 3 WorldCat member libraries worldwide
Descriptional complexity : 03.05. - 07.05.93 ( Book )
1 edition published in 1993 in German and held by 2 WorldCat member libraries worldwide
Knowledge, data and computer-assisted decisions by Ronald V Book ( Book )
1 edition published in 2012 in English and held by 2 WorldCat member libraries worldwide
Second generation expert systems by Ronald V Book ( Book )
1 edition published in 2012 in English and held by 2 WorldCat member libraries worldwide
Designing computer-based learning materials by Ronald V Book ( Book )
1 edition published in 2012 in English and held by 2 WorldCat member libraries worldwide
Structural Properties of Grammars and Languages ( Book )
1 edition published in 1970 in English and held by 2 WorldCat member libraries worldwide
The report is comprised of a statement of objectives; brief summary of results; and a listing of scientific reports, working papers, and publications
21st annual symposium on foundations of computer science, Oct. 13-15, 1980, Syracuse, New York ( Book )
1 edition published in 1980 in English and held by 2 WorldCat member libraries worldwide
Sets with small generalized Kolmogorov complexity by Calif.) Mathematical Sciences Research Institute (Berkeley ( Book )
2 editions published between 1985 and 1986 in English and held by 2 WorldCat member libraries worldwide
Automating instructional design, development, and delivery by Ronald V Book ( Book )
1 edition published in 2012 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.78 (from 0.10 for Designing ... to 1.00 for Formal lan ...)
Alternative Names
Book, Ronald V.
Book, Ronald Vernon 1937-1997 Vollstaendiger Name
Languages
English (75)
German (1)
Covers