Martin K. Solomon

Publication Activity (10 Years)

Years Active: 1971-1993
Publications (10 Years): 0

Publications

Martin K. Solomon
Measure Independent Gödel Speed-Ups and the Relative Difculty of Recognizing Sets. Math. Log. Q. 39 (1993)
Martin K. Solomon
Relativized Gödel speed-up and the degree of succinctness of representations. Math. Log. Q. 36 (3) (1990)
Martin K. Solomon
A Connection Between Blum Speedable Sets and Gödel's Speed-Up Theorem. Math. Log. Q. 33 (5) (1987)
Neal S. Coulter, Robert B. Cooper, Martin K. Solomon
Information-Theoretic Complexity of Program Specifications. Comput. J. 30 (3) (1987)
Martin K. Solomon, Riva Wenig Bickel
Self-Assessment Procedure XV: A Self-Assessment Procedure Dealing with File Processing. Commun. ACM 29 (8) (1986)
Robert B. Cooper, Martin K. Solomon
The Average Time Until Bucket Overflow. ACM Trans. Database Syst. 9 (3) (1984)
Martin K. Solomon, Carl D. Kirshen
PEIRCE: A Relational DBMS for Small Systems. SIGSMALL/SIGMOD Symposium (1981)
Martin K. Solomon
Some properties of relational expressions. ACM Southeast Regional Conference (1979)
Martin K. Solomon
Some Results on Measure Independent Godel Speed-Ups. J. Symb. Log. 43 (4) (1978)
Charles C. Ying, Neil B. Bromberg, Martin K. Solomon
Toward a simulation model of the stock market. WSC (1971)