External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Bddl: A Type System for Binary Decision Diagrams

Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo. Bddl: A Type System for Binary Decision Diagrams. In Laura Kovács, Karl Meinke, editors, Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings. Volume 13361 of Lecture Notes in Computer Science, pages 31-47, Springer, 2022. [doi]

Authors

Yousra Lembachar

This author has not been identified. Look up 'Yousra Lembachar' in Google

Ryan Rusich

This author has not been identified. Look up 'Ryan Rusich' in Google

Iulian Neamtiu

This author has not been identified. Look up 'Iulian Neamtiu' in Google

Gianfranco Ciardo

This author has not been identified. Look up 'Gianfranco Ciardo' in Google
runs on