Zobrazeno 1 - 10
of 12 054
pro vyhledávání: '"Universal quantification"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Haase, Christoph, Piórkowski, Radosław
Automatic structures are structures whose universe and relations can be represented as regular languages. It follows from the standard closure properties of regular languages that the first-order theory of an automatic structure is decidable. While e
Externí odkaz:
http://arxiv.org/abs/2306.10432
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Wang, Meng, Bai, Zhaoying, Liu, Siyuan, Fu, Boqiang, Liu, Yingying, Wang, Ziquan, Zhou, Guoping, Gong, Xiaoyun, Jiang, You, Sui, Zhiwei
Publikováno v:
In LWT 15 July 2023 184
Autor:
Bende-Farkas, Ágnes
Publikováno v:
Acta Linguistica Hungarica, 2015 Jan 01. 62(3), 223-261.
Externí odkaz:
https://www.jstor.org/stable/26191778
Autor:
Deniz Özyıldız, Ömer Demirok
Publikováno v:
Languages, Vol 8, Iss 3, p 170 (2023)
We identify a tonal contour in Turkish that expresses universal quantification. We show that the distribution of this contour is restricted to noun phrases modified by relative clauses and that it expresses universal quantification over situations ra
Externí odkaz:
https://doaj.org/article/ec39dde1e2384a8cb358c2cccd1c9550
Autor:
Guidi, Ferruccio
We advocate the use of de Bruijn's universal abstraction $\lambda^\infty$ for the quantification of schematic variables in the predicative setting and we present a typed $\lambda$-calculus featuring the quantifier $\lambda^\infty$ accompanied by othe
Externí odkaz:
http://arxiv.org/abs/1911.12749
Publikováno v:
In Journal of Pharmaceutical and Biomedical Analysis 30 May 2020 184
Publikováno v:
In Lingua October 2017 198:89-109