Pascal Bergsträßer | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Anthony W. Lin
16 publications
Georg Zetzsche
14 publications
Moses Ganardi
11 publications

research

∙ 04/21/2023

Revisiting Membership Problems in Subclasses of Rational Relations

We revisit the membership problem for subclasses of rational relations o...

0 Pascal Bergsträßer, et al. ∙

research

∙ 05/18/2022

Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification

Automatic structures are infinite structures that are finitely represent...

0 Pascal Bergsträßer, et al. ∙

Success!

An error occurred