Proof pearl: Braun trees
Paper in proceedings, 2020
Isabelle
Braun tree
Verification
Author
Tobias Nipkow
Technical University of Munich
Thomas Sewell
Chalmers
CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020
18-31
New Orleans, USA,
Subject Categories
Language Technology (Computational Linguistics)
Bioinformatics (Computational Biology)
Mathematical Analysis
DOI
10.1145/3372885.3373834