Zobrazeno 1 - 10
of 8 618
pro vyhledávání: '"First-Order logic"'
Autor:
BERKHOLZ, CHRISTOPH1 christoph.berkholz@tuilmenau.de, NORDSTRÖM, JAKOB2 jn@di.ku.dk
Publikováno v:
Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-31. 32p.
Autor:
Orlandelli, Eugenio1 eugenio.orlandelli@unibo.it, Tesi, Matteo2 tesi@logic.at
Publikováno v:
Bulletin of the Section of Logic. Jun2024, Vol. 53 Issue 2, p223-244. 22p.
Autor:
Borrego-Díaz, Joaquín1 (AUTHOR) acordon@us.es, Cordón-Franco, Andrés1 (AUTHOR), Lara-Martín, Francisco Félix1 (AUTHOR)
Publikováno v:
Axioms (2075-1680). May2024, Vol. 13 Issue 5, p306. 24p.
Autor:
Spillo, Giuseppe1 (AUTHOR) giuseppe.spillo@uniba.it, Musto, Cataldo1 (AUTHOR), de Gemmis, Marco1 (AUTHOR), Lops, Pasquale1 (AUTHOR), Semeraro, Giovanni1 (AUTHOR)
Publikováno v:
User Modeling & User-Adapted Interaction. Nov2024, Vol. 34 Issue 5, p2039-2083. 45p.
Autor:
ADLER, ISOLDE1 isolde.adler@uni-bamberg.de, KÖHLER, NOLEEN2 n.koehler@leeds.ac.uk, PAN PENG3 ppeng@ustc.edu.cn
Publikováno v:
SIAM Journal on Computing. 2024, Vol. 53 Issue 4, p825-883. 59p.
Autor:
Martini, Simone1 simone.martini@unibo.it, Masini, Andrea2 andrea.masini@univr.it, Zorzi, Margherita2 margherita.zorzi@univr.it
Publikováno v:
Bulletin of the Section of Logic. Dec2023, Vol. 52 Issue 4, p459-495. 37p.
Autor:
Grobler, Mario1 (AUTHOR) grobler@uni-bremen.de, Jiang, Yiting2,3 (AUTHOR) yjiang@irif.fr, Ossona de Mendez, Patrice4,5 (AUTHOR) pom@ehess.fr, Siebertz, Sebastian1 (AUTHOR) siebertz@uni-bremen.de, Vigny, Alexandre1 (AUTHOR)
Publikováno v:
Journal of Combinatorial Theory - Series B. Nov2024, Vol. 169, p96-133. 38p.
Autor:
Hanson, James E.1 (AUTHOR) jameseh@iastate.edu
Publikováno v:
Journal of Mathematical Logic. Oct2024, p1. 33p.
Autor:
Paseau, A C (AUTHOR) alexander.paseau@philosophy.ox.ac.uk
Publikováno v:
Philosophia Mathematica. Oct2024, Vol. 32 Issue 3, p385-400. 16p.
Publikováno v:
Mind. Oct2024, Vol. 133 Issue 532, p1121-1135. 15p.