Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marianna Girlando
conf.researchr.org general profile
Dutch Formal Methods Day 2025 profile
Not registered as user
Name:
Marianna Girlando
Affiliation:
University of Amsterdam
Contributions
2025
Dutch Formal Methods Day
Author of Proof theory meets decision procedures: a case study in intuitionistic K within the Dutch Formal Methods Day 2025-track
Share
x
Tue 28 Oct 21:33