Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Henning Basold
conf.researchr.org general profile
ETAPS 2019 profile
Registered user since Mon 11 Mar 2019
Name:
Henning Basold
Affiliation:
CNRS & ENS Lyon
Personal website:
https://orcid.org/0000-0001-7610-8331
Contributions
2019
ESOP
Author of Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses within the ESOP 2019-track
HCVS
Author of Coinduction in Uniform: what's next? within the HCVS-track
Share
x
Mon 27 Oct 10:37