Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pascal Bergsträßer
conf.researchr.org general profile
POPL 2024 profile
Registered user since Thu 9 Nov 2023
Name:
Pascal Bergsträßer
Country:
Germany
Affiliation:
University of Kaiserslautern-Landau
Contributions
2024
POPL
Author of Ramsey Quantifiers in Linear Arithmetics within the POPL-track
Share
x
Sat 21 Dec 18:47