Guillermo Badia

Identifiers

No identifiers captured yet.

Papers (6)

1. Fagin's Theorem for Semiring Turing Machines cs.CC · 2025 · author #1
2. Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic math.LO · 2018 · author #1
3. Saturated Models in Mathematical Fuzzy Logic math.LO · 2018 · author #1
4. On elimination of quantifiers in some non-classical mathematical theories math.LO · 2018 · author #1
5. Infinitary propositional relevant languages with absurdity math.LO · 2018 · author #1
6. Fraisse classes of graded relational structures math.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Carles Noguera 4 shared papers
• Andrew Tedder 1 shared papers
• Erik Paul 1 shared papers
• Manfred Droste 1 shared papers
• Pilar Dellunde 1 shared papers
• Rafael Kiesel 1 shared papers
• Thomas Eiter 1 shared papers
• Vicent Costa 1 shared papers