EXPLICIT DEFINABILITY

被引：0

作者：

CHAUBARD, A

机构：

来源：

BULLETIN DES SCIENCES MATHEMATIQUES | 1970年 / 94卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：33 / &

共 50 条

[1] REMARKS ON EXPLICIT DEFINABILITY
CHAUBARD, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1969, 34 (03) : 541 - &
[2] On the complexity of disjunction and explicit definability properties in some intermediate logics
Ferrari, M
Fiorentini, C
Fiorino, G
[J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2002, 2514 : 175 - 189
[3] The definability of fields
Bendaniel, DJ
[J]. CHAOS SOLITONS & FRACTALS, 1999, 10 (06) : 975 - 979
[4] MORE ON DEFINABILITY
MAKKAI, M
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (03): : A338 - A338
[5] Definability and compression
Afrati, F
Leiss, H
de Rougemont, M
[J]. 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 63 - 73
[6] Definability degrees
Friedman, SD
[J]. MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (05) : 448 - 449
[7] Blurry Definability
Fuchs, Gunter
[J]. MATHEMATICS, 2022, 10 (03)
[8] ON THE DEFINABILITY OF PS(A)
BALDWIN, JT
SAMHAN, MA
[J]. ALGEBRA UNIVERSALIS, 1986, 23 (03) : 254 - 261
[9] Definability and compression
Afrati, F
Leiss, H
de Rougemont, M
[J]. FUNDAMENTA INFORMATICAE, 2003, 56 (1-2) : 155 - 180
[10] Decidability of Definability
Bodirsky, Manuel
Pinsker, Michael
Tsankov, Todor
[J]. 26TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2011), 2011, : 321 - 328