Robert A. Di Paola

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

10 Robert A. Di Paola, Franco Montagna: Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. J. Symb. Log. 56(2): 643-660 (1991)
9 Robert A. Di Paola, Alex Heller: Dominical Categories: Recursion Theory without Elements. J. Symb. Log. 52(3): 594-635 (1987)
8 Robert A. Di Paola: A Lift of a Theorem of Friedberg: A Banach-Mazur Functional that Coincides with No alpha-Recursive Functional on the Class of alpha-Recursive Functions. J. Symb. Log. 46(2): 216-232 (1981)
7 Robert A. Di Paola: A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic. J. Symb. Log. 40(3): 398-400 (1975)
6EERobert A. Di Paola: The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results. J. ACM 20(1): 112-126 (1973)
5EERobert A. Di Paola: The Relational Data File and the Decision Problem for Classes of Proper Formulas. SIGIR 1971: 95-104
4EERobert A. Di Paola: Random Sets in Subrecursive Hierarchies. J. ACM 16(1): 621-630 (1969)
3EERobert A. Di Paola: The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas. J. ACM 16(2): 324-327 (1969)
2 Robert A. Di Paola: Some Theorems on Extensions of Arithmetic. J. Symb. Log. 32(2): 180-189 (1967)
1 Robert A. Di Paola: Pseudo-Complements and Ordinal Logics based on Consistency Statements. J. Symb. Log. 31(3): 359-364 (1966)

Coauthor Index

1Alex Heller [9]
2Franco Montagna [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)