1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
@string{JSYML = "Journal of Symbolic Logic"}
@string{THEC5 = "Theoretical Computer Science"}
@string{LNCS = {Lecture Notes in Computer Science}}
@string{LNMATH = {Lecture Notes in Mathematics}}
@string{PHITRA = "Philosophical Transactions of the Royal Society of
London. Series A"}
@string{REPPP = "Reports on Progress in Physics"}
@string{RAIIT1 = "RAIRO Informatique Th\'eorique"}
@string{iandc={Information and Control}}
@Article{BraunmuhlCV83,
title={The Recognition of Deterministic {CFL}'s in Small Time and
Space},
author={Burchard von Braunm{\"u}hl and Stephen Cook and Kurt Mehlhorn
and Rutger Verbeek},
pages={34--51},
journal=iandc,
month=jan # "/" # feb,
year=1983,
volume=56,
number={1/2}
}
@InProceedings{CantoneCP90,
author={D. Cantone and V. Cutello and A. Policrito},
title={Set-theoretic reductions of {Hilbert's} {Tenth} {Problem}},
pages={65--75},
booktitle={CSL '89: 3rd Workshop on Computer Science Logic},
editor={E. B{\"o}rger and H. Kleine B{\"u}ning and M. M. Richter},
publisher={Springer-Verlag},
series=lncs,
year=1990,
volume=440
}
@Article{Adamowicz92,
title={A sharp version of the bounded {Matijasevich} conjecture and
the end-extension problem},
author={Zofia Adamowicz},
journal=jsyml,
volume=57,
number=2,
pages={597--616},
year=1992,
month=jun
}
@InProceedings{AdlemanMa76,
title={Diophantine complexity},
author={Leonard Adleman and Kenneth Manders},
crossref={FOCS17},
pages={81--88}
}
@Article{AlloucheSh92,
title={The ring of $k$-regular sequences},
author={Jean-Paul Allouche and Jeffrey Shallit},
journal=THEC5,
volume=98,
number=2,
pages={163-197},
year=1992,
month=may,
comment=NEW1
}
@InProceedings{Azra71,
author={{Jean-Pierre} Azra},
title={Relations {Diophantiennes} et la solution n\'egative du 10e
probl\`eme de {Hilbert}},
booktitle={S\'eminaire Bourbaki---vol. 1970/71. Expos\'es 382--399},
series=lnmath,
publisher={Springer-Verlag},
volume=244,
pages={11-28},
year=1971,
language=french
}
@Article{CaludeP83,
title={Independent Instances for Some Undecidable Problems},
author={Cristian Calude and Gheorghe P{\u{a}}un},
journal=raiit1,
year=1983,
volume=17,
number=1,
pages={49-54}
}
@Article{Baker68,
title={Contributions to the theory of {Diophantine} equations {I}. {On}
the representation of integers by binary forms},
author={A. Baker},
year=1968,
journal=phitra,
volume=263,
number=1139,
pages={173-191}
}
@Article{BartonFi72a,
title={Applications of algebraic manipulation programs in physics},
author={D. Barton and J. P. Fitch},
journal=reppp,
year=1972,
volume=35,
number=3,
pages={235-314}
}
@Proceedings{FOCS17,
title={$17^{\it th}$ Annual Symposium on Foundations of Computer
Science},
booktitle={$17^{\it th}$ Annual Symposium on Foundations of Computer
Science},
year=1976,
address={Houston, Texas},
month={25--26 } # oct,
organization={IEEE},
crossrefonly=1
}
|
