A Uniform One-Dimensional Fragment with Alternation of Quantifiers
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2023/09/30
-
Indian UGC (journal)
-
Refrences34
-
Emanuel Kieroński
Cite
Kieroński, Emanuel. “A Uniform One-Dimensional Fragment With Alternation of Quantifiers”. Electronic Proceedings in Theoretical Computer Science, vol. 390, 2023, pp. 1-15, https://doi.org/10.4204/eptcs.390.1.
Kieroński, E. (2023). A Uniform One-Dimensional Fragment with Alternation of Quantifiers. Electronic Proceedings in Theoretical Computer Science, 390, 1-15. https://doi.org/10.4204/eptcs.390.1
Kieroński E. A Uniform One-Dimensional Fragment with Alternation of Quantifiers. Electronic Proceedings in Theoretical Computer Science. 2023;390:1-15.
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| An excursion to the border of decidability: between two- and three-variable logic | 2023 | |||
THE FLUTED FRAGMENT REVISITED | The Journal of Symbolic Logic |
| 4 | 2019 |
| The Triguarded Fragment of First-Order Logic | 2018 | |||
| Uniform One-Dimensional Fragments with One Equivalence Relation | 2015 | |||
The two‐variable fragment with counting and equivalence | Mathematical Logic Quarterly |
| 3 | 2015 |