Result 1 to 12 of 12 total
Detecting suspicious behavior in surveillance images (English)
ICDM Workshops, 891-900 (2008).
1
Self-similar and fractal nature of internet traffic (English)
Int. Journal of Network Management 14, No. 2, 119-129 (2004).
2
Algorithmic procedures. (English)
Trans. Am. Math. Soc. 332, No.1, 297-312 (1992).
3
The irrationals are not recursively enumerable. (English)
Proc. Am. Math. Soc. 110, No.2, 495-497 (1990).
4
Recursive aspects of descriptive set theory. With a chapter by Stephen Simpson. (English)
Oxford Logic Guides, 11. New York: Oxford University Press; Oxford: Clarendon Press. IX, 144 p. \sterling 15.00 (1985).
5
A complete axiomatization of computer arithmetic. (English)
Math. Comput. 42, 623-635 (1984).
6
A footnote to a theorem of Solovay on recursive encodability. (English)
Logic colloquium ’77, Proc., Wroclaw 1977, Stud. Logic Found. Math. Vol. 96, 195-198 (1978).
7
Sheaves and normal submodels (English)
J. Symb. Log. 42, No. 2, 241-250 (1977).
8
The non-existence of $Σ^1_2$ well-orderings of the Cantor set. (English)
Fundam. Math. 86, 279-282 (1975).
9
Omitting types: Application to descriptive set theory. (English)
Proc. Am. Math. Soc. 47, 198-200 (1975).
10
On the possibility of a $Sigma^{1}_{2}$ well-ordering of the Baire space (English)
J. Symb. Log. 38, No. 3, 396-398 (1973).
11
The completeness theorem for infinitary logic (English)
J. Symb. Log. 37, No. 1, 31-34 (1972).
12
Result 1 to 12 of 12 total
Start
Contact
Print
General Help
