Pascal Bergsträßer

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

First Order Logic

Decision Problems

Formal Language

Top Venues

Proc. ACM Program. Lang.

Publications

Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Ramsey Quantifiers in Linear Arithmetics. Proc. ACM Program. Lang. 8 (POPL) (2024)
Pascal Bergsträßer, Chris Köcher, Anthony Widjaja Lin, Georg Zetzsche
The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective. CoRR (2024)
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Ramsey Quantifiers in Linear Arithmetics. CoRR (2023)
Pascal Bergsträßer, Moses Ganardi
Revisiting Membership Problems in Subclasses of Rational Relations. LICS (2023)
Pascal Bergsträßer, Moses Ganardi
Revisiting Membership Problems in Subclasses of Rational Relations. CoRR (2023)
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. LICS (2022)
Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. CoRR (2022)
Pascal Bergsträßer, Moses Ganardi, Georg Zetzsche
A Characterization of Wreath Products Where Knapsack Is Decidable. STACS (2021)