Skip to menu Skip to content Skip to footer

2025

Other Outputs

Codd's Theorem for Databases over Semirings

Badia, Guillermo, Kolaitis, Phokion G. and Noguera, Carles (2025). Codd's Theorem for Databases over Semirings.

Codd's Theorem for Databases over Semirings

2024

Other Outputs

Logical Characterizations of Weighted Complexity Classes

Badia, Guillermo, Droste, Manfred, Noguera, Carles and Paul, Erik (2024). Logical Characterizations of Weighted Complexity Classes.

Logical Characterizations of Weighted Complexity Classes

2024

Other Outputs

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games

Badia, Guillermo, Gaina, Daniel, Knapp, Alexander, Kowalski, Tomasz and Wirsing, Martin (2024). Hybrid-Dynamic Ehrenfeucht-Fraïssé Games.

Hybrid-Dynamic Ehrenfeucht-Fraïssé Games