|
2025 Other Outputs Fagin's theorem for semiring Turing machinesBadia, Guillermo, Droste, Manfred, Eiter, Thomas, Kiesel, Rafael, Noguera, Carles and Paul, Erik (2025). Fagin's theorem for semiring Turing machines. doi: 10.48550/arXiv.2507.18375 |
|
2025 Other Outputs Codd's Theorem for Databases over SemiringsBadia, Guillermo, Kolaitis, Phokion G. and Noguera, Carles (2025). Codd's Theorem for Databases over Semirings. |
|
2024 Other Outputs Logical Characterizations of Weighted Complexity ClassesBadia, Guillermo, Droste, Manfred, Noguera, Carles and Paul, Erik (2024). Logical Characterizations of Weighted Complexity Classes. |
|
2024 Other Outputs Hybrid-Dynamic Ehrenfeucht-Fraïssé GamesBadia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2024). Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. doi: 10.48550/arXiv.2406.02094 |
