Droste, Manfred
- Logical Characterizations of Weighted Complexity Classes
2024/04/27 by Guillermo Badía, Badia, Guillermo, Manfred Droste +5 · 2 citations
Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
- Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids
2021/06/30 by Droste, Manfred, Fülöp, Zoltán, Kószó, Dávid +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)