Skip to page content

Site-wide navigation

Topics
Trending
Topics
All Topics
Research & Commentary
Experts
About

Research Divisions
RAND's divisions conduct research on a uniquely broad front for clients around the globe.
- U.S. research divisions
- International research divisions
  - RAND Australia
  - RAND Europe
Services & Impact
Careers
Graduate School
Subscribe
Give
Cart

Toggle Search

Search terms

RAND
Research & Commentary
Browse by Author
D
Robert Di Paola — Publications

Robert Di Paola — Publications

The Relational Data File and the Decision Problem for Classes of Proper Formulas

1971
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results

1971
Random Sets in Subrecursive Hierarchies.

1968
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.

1968
A Survey of Soviet Work in the Theory of Computer Programming

1967

Objective Analysis. Effective Solutions.

RAND is a research organization that develops solutions to public policy challenges to help make communities throughout the world safer and more secure, healthier and more prosperous. RAND is nonprofit, nonpartisan, and committed to the public interest.

RAND Headquarters

P.O. Box 2138 
1776 Main Street
Santa Monica, CA 90401-2138

RAND has offices across the U.S., in Europe, and in Australia

See all RAND locations

About
Leadership
Research Integrity
Graduate School
Support RAND
Careers
Contact
Work with Us
For Media
For Congress

Subscribe to the Policy Currents Newsletter

And stay on top of the issues that matter most.

Email

View all newsletters

RAND on LinkedIn
RAND on X
RAND on Instagram
RAND on Facebook
RAND on YouTube
RAND on Bluesky
RAND on Threads
Policy Minded: RAND's Flagship Podcast

RAND® is a registered trademark. © 2026 RAND Corporation.

Privacy Policy Terms and Conditions

International Websites:: 中文; العربية

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.