Lovro Mrkonjić | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Erich Grädel
14 publications
Sophie Brinke
1 publication

research

∙ 08/09/2023

Ehrenfeucht-Fraïssé Games in Semiring Semantics

Ehrenfeucht-Fraïssé games provide a fundamental method for proving eleme...

0 Sophie Brinke, et al. ∙

research

∙ 02/10/2021

Elementary equivalence versus isomorphism in semiring semantics

We study the first-order axiomatisability of finite semiring interpretat...

0 Erich Grädel, et al. ∙