BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
1 × Italy
1 × Spain
1 × The Netherlands
2 × Finland
2 × France
4 × USA
Collaborated with:
∅ S.A.Greibach S.Tang U.Schöning F.Brandenburg C.Yap H.Vollmer K.W.Wagner J.H.Lutz C.Wrathall M.Nivat M.Paterson B.Wegbreit P.Orponen D.A.Russo O.Watanabe
Talks about:
languag (3) complex (3) system (3) machin (3) class (3) bound (3) rewrit (2) revers (2) power (2) ture (2)

Person: Ronald V. Book

DBLP DBLP: Book:Ronald_V=

Facilitated 1 volumes:

RTA 1991Ed

Contributed to:

ICALP 19961996
ICALP 19901990
ICALP 19881988
ICALP 19861986
RTA 19851985
ICALP 19831983
CADE 19821982
ICALP 19791979
ICALP 19781978
ICALP 19771977
ICALP 19741974
STOC 19741974
ICALP 19721972
STOC 19701970
STOC 19691969

Wrote 15 papers:

ICALP-1996-BookVW #on the #probability #quantifier
On Type-2 Probabilistic Quantifiers (RVB, HV, KWW), pp. 369–380.
ICALP-1990-BookLT #pseudo #query #random
Additional Queries to Random and Pseudorandom Oracles (RVB, JHL, ST), pp. 283–293.
ICALP-1988-TangB #polynomial #reduction #set
Separating Polynomial-Time Turing and Truth-Table Reductions by Tally Sets (ST, RVB), pp. 591–599.
ICALP-1986-BookORW #exponential #on the
On Exponential Lowness (RVB, PO, DAR, OW), pp. 40–49.
RTA-1985-Book #term rewriting
Thue Systems as Rewriting Systems (RVB), pp. 63–94.
ICALP-1983-SchoningB
Immunity (US, RVB), pp. 653–661.
CADE-1982-Book #power of #string #term rewriting
The Power of the Church-Rosser Property for String Rewriting Systems (RVB), pp. 360–368.
ICALP-1979-BookB #complexity #representation #set #similarity
Representing Complexity Classes by Equality Sets (RVB, FJB), pp. 49–57.
ICALP-1978-BookGW
Comparisons and Reset Machines (RVB, SAG, CW), pp. 113–124.
ICALP-1977-BookY #bound #on the #power of
On the Computational Power of Reversal-Bounded Machines (RVB, CKY), pp. 111–119.
ICALP-1974-Book #complexity #on the
On the Structure of Complexity Classes (RVB), pp. 437–445.
STOC-1974-BookNP #bound #context-free grammar #linear #multi
Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines (RVB, MN, MP), pp. 290–296.
ICALP-1972-Book #complexity #formal method
Complexity Classes of Formal Languages (RVB), pp. 517–520.
STOC-1970-BookGW #bound
Tape- and Time-Bounded Turing Acceptors and AFLs: Extended Abstract (RVB, SAG, BW), pp. 92–99.
STOC-1969-BookG #realtime
Quasi-Realtime Languages (RVB, SAG), pp. 15–18.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.