EasyChair Smart Slide
 
Undecidability of Dyadic First-Order Logic in Coq
 
1
5
9
13
17
21
25
29
33
37
41
45
49
53
57
61
65
69
73
77
81
85
89
93
97
101
105
109
113
117
121
125
129
133
137
141
145
149
152
1
2
3
4